Symmetric Difference with Complement

Theorem
The symmetric difference of a set with its complement is the universe:


 * $S * \complement \paren S = \mathbb U$