theorem :: MIDSP_1:55

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