Natural Number is Ordinal

Theorem
Let $n \in \N$ be a natural number.

Then $n$ is an ordinal.