theorem Th48: :: MIDSP_1:48

for M being MidSp
for x being set holds
( x is Vector of M iff x in setvect M )