Class Equality is Reflexive

Theorem
Let $A$ be a class.

Then:


 * $A = A$

where $=$ denotes class equality.

Proof

 * $\forall x: \left({ x \in A \iff x \in A }\right)$