Ordinal is not Element of Itself

Theorem
Let $x$ be an ordinal.

Then $x \notin x$.