Set Difference with Intersection is Difference

Theorem
The set difference with the intersection is just the set difference.

Let $S, T$ be sets.

Then:
 * $S \setminus \paren {S \cap T} = S \setminus T$