Natural Number m is Less than n implies n is not Greater than Successor of n

Theorem
Let $\N$ be the natural numbers.

Let $m, n \in \N$.

Then:
 * $m < n \implies m + 1 \le n$