The Principal of Mathematical Induction