theorem Th8: :: MFOLD_1:8

for n being Nat holds Tunit_ball n, TOP-REAL n are_homeomorphic