Intersection is Subset of Union of Intersections with Complements

Theorem
Let $R, S, T$ be sets.

Then:
 * $S \cap T \subseteq \left({R \cap S}\right) \cup \left({\overline R \cap T}\right)$