theorem Th42: :: CSSPACE:47

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