theorem Th24: :: JORDAN1K:24

for p, q being Point of (TOP-REAL 2) holds dist (p,q) = dist ((- p),(- q))