Equivalence of Definitions of Symmetric Difference/(3) iff (5)

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

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

Proof
The result follows by definition of set equality.