theorem Th9: :: MFOLD_1:9

for n being Nat
for p, q being Point of (TOP-REAL n)
for r, s being positive Real holds Tball (p,r), Tball (q,s) are_homeomorphic