De Morgan's Laws (Set Theory)/Set Complement/Complement of Intersection/Corollary

Theorem
Let $T_1, T_2$ be subsets of a universe $\mathbb U$.

Then:
 * $T_1 \cap T_2 = \overline {\overline T_1 \cup \overline T_2}$