Subset of Empty Set iff Empty

Theorem
Let $S$ be a set.

Let $\varnothing$ denote the empty set.

Then $S \subseteq \varnothing$ $S = \varnothing$.