for n being Nat
for x, y being Tuple of n, BOOLEAN holds x 'xor' y = y 'xor' x