theorem Th1: :: MFOLD_0:1
for T being non empty TopSpace holds T,T | ([#] T) are_homeomorphic