Universal Class is Proper/Proof 3

Proof
$V$ is small.

By Cantor's Theorem, there is no surjection from $V$ to $\powerset V$.

By definition:
 * $\powerset V \subseteq V$

By Injection from Subset to Superset, there is an injection from $\powerset V$ to $V$.

By Injection has Surjective Left Inverse Mapping, there is a surjection from $V$ to $\powerset V$.

But this contradicts Cantor's Theorem.

Therefore $V$ is proper.