De Morgan's Laws (Set Theory)/Set Difference/Difference with Intersection/Corollary

Corollary to De Morgan's Laws: Difference with Intersection
Let $S, T_1, T_2$ be sets. Suppose that $T_1 \subseteq S$.

Then:


 * $S \setminus \paren {T_1 \cap T_2} = \paren {S \setminus T_1} \cup \paren {T_1 \setminus T_2}$