if the following are true:

• the element at index i of stack tree = node (v, a, b)
• Height of a tree tree and index a = Height of a tree tree and index b

then Height of a tree tree and index i = (Height of a tree tree and index a) + 1