Symmetric Difference of Equal Sets

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

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