Union minus Symmetric Difference equals Intersection

Theorem

 * $\paren {A \cup B} \setminus \paren {A \symdif B} = A \cap B$