Ordinal is not Element of Itself

Theorem
Let $x$ be an ordinal.

Then: $x \notin x$