Symmetric Difference of Equal Sets

Theorem
The symmetric difference of two equal sets is the empty set:


 * $$S = T \iff S * T = \varnothing$$

Proof
$$ $$ $$ $$