theorem :: COMPLEX2:43

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