theorem Th6: :: TOPREAL9:8

for n being Nat
for r being Real
for x, y being Point of (TOP-REAL n) holds
( y in cl_Ball (x,r) iff |.(y - x).| <= r )