Ordinal is not Element of Itself

Theorem
Let $x$ be an ordinal.

Then:
 * $x \notin x$