Natural Number is Not Equal to Successor

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

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