>>231
ベン図で見てみたら?成り立つよ
対称差はφを単位元にする可換群の演算だから
(A△C)△(B△C)=A△B△C△C=A△B△φ=A△B
としてもいいけど