Added a proof about the height of the parent of a node