Natural Number Addition is Cancellable/Proof 1

Proof
Consider the natural numbers $\N$ defined as a naturally ordered semigroup $\struct {\N, +, \le}$.

By Naturally Ordered Semigroup Axiom: $(\text {NO} 2)$, every element of $\struct {\N, +}$ is cancellable.