Nonempty Class has Members

Theorem
Let $A$ be a class.

Then:


 * $A \ne \varnothing$ iff $\exists x: x \in A$