Principle of Finite Induction/One-Based/Proof 1

Proof
Consider $\N$ defined as a naturally ordered semigroup.

The result follows directly from Principle of Mathematical Induction for Naturally Ordered Semigroup: General Result.