# Union Distributes over Intersection/Proof 2

## Theorem

$R \cup \paren {S \cap T} = \paren {R \cup S} \cap \paren {R \cup T}$

## Proof

$R \cap \paren {S \cup T} = \paren {R \cap S} \cup \paren {R \cap T}$

From the Duality Principle for Sets, exchanging $\cup$ for $\cap$ throughout, and vice versa, reveals the result:

$R \cup \paren {S \cap T} = \paren {R \cup S} \cap \paren {R \cup T}$

$\blacksquare$