Set Difference with Intersection

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