It's often the case that in induction proofs, you end up dropping down to some number or some pair or group of numbers smaller than the one you've got, and needing to apply the induction hypothesis to those smaller numbers, as we did here with p and q. 