theorem Th6: :: IDEA_1:6

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