theorem :: XBOOLEAN:73

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