theorem :: TWOSCOMP:8

for x, y being Element of BOOLEAN holds xor2b . <*x,y*> = xor2 . <*x,y*>