Natural Number is Not Equal to Successor

Theorem
Let $\N_{> 0}$ be the $1$-based natural numbers:
 * $\N_{> 0} = \set {1, 2, 3, \ldots}$

Then:
 * $\forall n \in \N_{> 0}: n \ne n + 1$