Definition:Second Principle of Mathematical Induction/Terminology