theorem
  the addF of vectgroup(M) = addvect(M);
