Symmetric Difference is Associative/Proof 1

Proof
We can directly expand the expressions for $R * \paren {S * T}$ and $\paren {R * S} * T$, and see that they come to the same thing.

Expanding the :

Expanding the :

From Union is Commutative it is seen that the and  are the same, and the result is proved.