theorem :: GATE_1:9

for a, b being set holds
( not XOR2 (a,b) is empty iff not XOR2 (b,a) is empty ) ;