theorem Th1: :: MFOLD_0:1

for T being non empty TopSpace holds T,T | ([#] T) are_homeomorphic