theorem Th11: :: TOPREAL9:13

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
Ball (e,r) = Ball (x,r)