theorem Th7: :: IDEA_1:7

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