De Morgan's Laws (Set Theory)/Proof by Induction/Difference with Intersection

Theorem
Let $\mathbb T = \set {T_i: i \mathop \in I}$, where each $T_i$ is a set and $I$ is some finite indexing set.

Then:
 * $\ds S \setminus \bigcap_{i \mathop \in I} T_i = \bigcup_{i \mathop \in I} \paren {S \setminus T_i}$