theorem
  for X,Y,Z,W be RealNormSpace
  for f be Lipschitzian LinearOperator of Z,W,
      g be Lipschitzian LinearOperator of Y,Z,
      h be Lipschitzian LinearOperator of X,Y
  holds f*(g*h) = (f*g)*h by RELAT_1:36;
