Proof by mathematical induction