theorem
  the carrier of vectgroup(M) = setvect(M);
