theorem Th17: :: TOPREAL9:19

for n being Nat
for r being Real
for x being Point of (TOP-REAL n) holds Ball (x,r) misses Sphere (x,r)