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