theorem Th15: :: JGRAPH_4:15

for p being Point of (Euclid 2)
for r being Real
for B being Subset of (TOP-REAL 2) st B = cl_Ball (p,r) holds
B is compact