Prove the induction principle from the well-ordering principle (see Example 11.2.2(c)). [Prove the induction principle in the form of Axiom 7.5.1 by contradic- tion.)