Set Difference with Set Difference

Theorem
$$S - \left({S - T}\right) = S \cap T$$