Assertion: tree's number | /r/HasProperty | odd
Facets:
Source sentences:
text: If this number is odd, then U=2L and one of the new nodes contains (U−2)/2 = L−1 elements, and hence is a legal node, and the other contains one more element, and hence it is legal too.