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