theorem
  the lmult of LC_Z_Module(V) = LCMult(V);
