theorem :: BINARITH:7

for x being boolean object holds TRUE 'xor' x = 'not' x ;