theorem
  the Mult of LC_RLSpace(V) = LCMult(V);
