Definition:Principle of Mathematical Induction