Study closer the balance property of an AVL tree and the rebalance operation.