for M being MidSp holds 0. (vectgroup M) = zerovect M ;