theorem Th10: :: CLOPBAN2:10

for X being ComplexNormSpace
for f, g, h being Element of BoundedLinearOperators (X,X) holds (g + h) * f = (g * f) + (h * f)