Class is Not Element of Itself

Theorem
Let $A$ be a class.

Then $A$ is not an element of itself:


 * $A \notin A$

Proof
$A \in A$ would create a membership loop.

By No Membership Loops, this is a contradiction.