Second Principle of Mathematical Induction/Predicate/Zero-Based