Symmetric Difference of Equal Sets

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


 * $S = T \iff S \symdif T = \O$