Equivalence of Definitions of Symmetric Difference/(1) iff (2)

Theorem
Let $S$ and $T$ be sets.

Then the following definitions of the symmetric difference $S * T$ between $S$ and $T$ are equivalent: