Element of Ordinal is Ordinal

Theorem
Let $n$ be an ordinal.

Let $m \in n$.

Then $m$ is also an ordinal.

That is, the class of all ordinals $\On$ is a transitive class.