for n being Nat
for r being positive Real
for a being Point of (TOP-REAL n) holds a in Ball (a,r)