theorem Th12: :: TOPREAL9:14

for n being Nat
for r being Real
for x being Point of (TOP-REAL n)
for e being Point of (Euclid n) st x = e holds
cl_Ball (e,r) = cl_Ball (x,r)