Proof of mathematical induction