theorem Th5: :: CLOPBAN2:5

for X being ComplexNormSpace
for f, g, h being Lipschitzian LinearOperator of X,X holds f * (g * h) = (f * g) * h