for X, Y, Z, W being RealNormSpace
for f being Element of BoundedLinearOperators (Z,W)
for g being Element of BoundedLinearOperators (Y,Z)
for h being Element of BoundedLinearOperators (X,Y) holds f * (g * h) = (f * g) * h