Union is Associative

Theorem
Let $$A, B$$ and $$C$$ be sets. Then $$A \cup (B\cup C) = (A\cup B)\cup C$$.

Proof
Thus, it has been shown that $$A \cup (B\cup C) = (A\cup B)\cup C$$.

QED