Set Union is Self-Distributive

Theorem
Let $A$ and $B$ denote classes.


 * $\displaystyle \bigcup \left({ A \cup B }\right) = \left({ \bigcup A \cup \bigcup B }\right)$