Intersection Distributes over Union

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