theorem Th7: :: SPRECT_3:7

for A being non empty Subset of (TOP-REAL 2)
for p being Element of (Euclid 2)
for r being Real st A = Ball (p,r) holds
A is connected