Union of Union of Cartesian Product

Theorem
Let $A$ and $B$ be sets such that $A \ne \O$ and $B \ne \O$.

Then:
 * $\ds \bigcup \bigcup \paren {A \times B} = A \cup B$

where:
 * $\cup$ denotes union
 * $\times$ denotes Cartesian product.