Principle of Mathematical Induction/Predicate/One-Based/Proof 2