theorem Th41: :: CSSPACE:46

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