Equivalence of Well-Ordering Principle and Induction

Theorem
The Well-Ordering Principle and the Principle of Mathematical Induction are logically equivalent.