theorem Th2: :: GOBOARD6:2

for n being Nat
for p being Point of (Euclid n)
for q being Point of (TOP-REAL n)
for r being Real st p = q & r > 0 holds
Ball (p,r) is a_neighborhood of q