theorem :: XBOOLEAN:147

for p being boolean object holds p 'xor' p = FALSE