for a, b, c being Point of TarskiEuclid2Space st between a,b,c holds
between c,b,a