Set Difference Intersection with Second Set is Empty Set

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

The intersection of the set difference of $S$ and $T$ with $T$ is the empty set:
 * $\left({S \setminus T}\right) \cap T = \varnothing$