Union Distributes over Intersection

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