I saw the following claim:
Let T be an AVL tree and TL be the number of nodes in the left sub tree of the root while TR is the number of nodes in the