theorem :: MIDSP_1:53

for M being MidSp holds the carrier of (vectgroup M) = setvect M ;