for M being MidSp holds the addF of (vectgroup M) = addvect M ;