theorem Th10: :: BHSP_1:10

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