 Using this throughout yields formula_34 and formula_35 for heaps with their root at 1.Every node is either the left or right child of its parent, so we know that either of the following is true.Hence,

Now consider the expression formula_39.