Set Difference with Set Difference

Theorem
The set difference with the set difference of two sets is the intersection of the two sets:
 * $S \setminus \paren {S \setminus T} = S \cap T = T \setminus \paren {T \setminus S}$