theorem Th3: :: NBVECTSP:3

for n being non zero Element of NAT
for u1 being Element of n -tuples_on BOOLEAN holds Op-XOR (u1,u1) = ZeroB n