theorem Th22: :: JORDAN:22

for r, s being Real
for n being Element of NAT
for x being Point of (TOP-REAL n) st r < s holds
Sphere (x,r) c= Ball (x,s)