theorem :: GATE_1:7

for a being set holds XOR2 (a,a) is empty