Natural Number Addition is Cancellable/Proof 1

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

By, every element of $\struct {\N, +}$ is cancellable.