Set Difference with Set Difference

Theorem
The set difference with the set difference of two sets is the intersection of the two sets:
 * $$S - \left({S - T}\right) = S \cap T$$

Proof
$$ $$ $$