theorem Th17: :: CSSPACE:22

for X being ComplexUnitarySpace
for x, y being Point of X holds (- x) .|. y = x .|. (- y)