Principle of Mathematical Induction/One-Based/Proof 3

Proof
We have that Natural Numbers are Non-Negative Integers.

Then we have that Integers form Well-Ordered Integral Domain.

The result follows from Induction on Well-Ordered Integral Domain.