Powerset is Nonempty

Theorem
Let $S$ be a set.

Then:
 * $\powerset S \ne \O$

Proof
By Empty Set is Element of Power Set:
 * $\O \in \powerset S$

Thus we conclude that $\powerset S$ is non-empty.