Ordinal is not Element of Itself

Theorem
Let $x$ be an ordinal.

Then $x \notin x$.

Proof
This follows from No Membership Loops by substituting $n = 1$ and $A_1 = x$.