for M being MidSp
for a, b, c being Element of M st vect (a,b) = vect (a,c) holds
b = c