theorem :: BINARITH:8

for x being boolean object holds FALSE 'xor' x = x ;