Set Difference of Larger Set with Smaller is Not Empty

Theorem
Let $S$ and $T$ be finite sets.

Let $\card S > \card T$.

Then:
 * $S \setminus T \ne \O$

Proof
We have

From Cardinality of Empty Set,
 * $S \setminus T \ne \O$