for A being Point of (TOP-REAL 2)
for a, b being Real
for r being positive Real st A in circle (a,b,r) holds
A <> |[a,b]|