theorem
  0.vectgroup(M) = zerovect M;
