for OAS being OAffinSpace
for a, b, c, p being Element of OAS st Mid p,c,b holds
ex x being Element of OAS st
( Mid p,x,a & b,a // c,x )