Properties of Class of All Ordinals/Successor of Ordinal is Ordinal

Theorem
Let $\On$ denote the class of all ordinals.

Let $\alpha$ be an element of $\On$.

Then its successor $\alpha^+$ is also an element of $\On$.