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