theorem Th12: :: CSSPACE:17

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