Class of All Ordinals is Proper Class

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

Then $\On$ is a proper class.

That is, $\On$ is not a set.