Basic Universe is not Empty

Theorem
Let $V$ be a basic universe

Then $V$ is not the empty class.

Proof
The gives us:

Hence the result by definition of empty class.