Nonempty Class has Members

Theorem
Let $A$ be a class.

Then:


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