theorem
  the carrier of LC_Z_Module(V) = LinComb(V);
