theorem Th42: :: TOPREAL9:44

for a, b, r being Real
for t being Point of (TOP-REAL 2) holds
( t in closed_inside_of_circle (a,b,r) iff |.(t - |[a,b]|).| <= r )