for a, b, c, d being POINT of TarskiEuclid2Space holds
( |.((Tn2TR a) - (Tn2TR b)).| = |.((Tn2TR c) - (Tn2TR d)).| iff a,b equiv c,d )