Universal Class is Proper/Proof 2

Proof
Let $I_\mathrm U$ be the identity mapping on $\mathrm U$.

By Identity Mapping is Bijection it follows that $I_\mathrm U$ is a bijection.

Therefore, by the Axiom of Limitation of Size, $\mathrm U$ is proper.