Assertion: tree's property | /r/HasProperty | satisfied
Facets:
Source sentences:
text: Moreover, the following properties are satisfied:
text: If the node we are deleting has a non-leaf (non-null) child N, it is easy to see that the property is satisfied.
text: If, on the other hand, N would be a null leaf, it can be verified from the diagrams (or code) for all the cases that the property is satisfied as well.