theorem Th14: :: CSSPACE:19

for a being Complex
for X being ComplexUnitarySpace
for x, y being Point of X holds (a * x) .|. y = x .|. ((a *') * y)