Height-balance property: for every node of the tree the height of the left and the right subtree can differ by at most 1.
Proposition 7.2