Natural Numbers are Comparable/Strong Result

Theorem
Let $\N$ be the natural numbers.

Let $m, n \in \N$.

Then either:
 * $(1): \quad m + 1 \le n$

or:
 * $(2): \quad n \le m$