Base step: When h = 0, there is only one node in the tree and it is a leaf. This is correct because leaves(0) = 20 = 1.
Inductive Hypothesis: Assume leaves(h-1) = 2h-1