for p, q, r, s being Point of TarskiEuclid2Space st between p,q,r & between p,s,q holds
between s,q,r