Empty Set is Element of Nonempty Grothendieck Universe

Theorem
Let $\mathbb U$ be a non-empty Grothendieck universe.

Then $\O \in \mathbb U$.

Proof
Let $A \in \mathbb U$ be an arbitrary element.