Set is Small Class

Theorem
Let $x$ be a set

Then, $x$ is small

Proof

 * $x = x$, so $\exists y: x = y$