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

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