No Natural Number between Number and Successor

Theorem
Let $\N$ be the natural numbers.

Let $n \in \N$.

Then no natural number $m$ exists strictly between $n$ and its successor:


 * $\neg \exists m \in \N: \paren {n < m < n^+}$

That is:
 * If $m \le n \le m^+$, then $m = n$ or $m = n^+$.