theorem Th42: :: COMPLEX2:44

for x, y being Complex holds - (x .|. y) = x .|. (- y)