theorem :: XBOOLEAN:72

for p, q being boolean object holds p 'xor' (p 'xor' q) = q