Second Principle of Mathematical Induction

(strong form)