Category:Equivalence of Well-Ordering Principle and Induction