theorem Th3: :: GOBOARD6:3

for n being Nat
for r being Real
for B being Subset of (TOP-REAL n)
for u being Point of (Euclid n) st B = Ball (u,r) holds
B is open