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.