Second Principle of Mathematical Induction
(strong form)