theorem Th10: :: MFOLD_2:10

for M, N being non empty TopSpace st M is Hausdorff & M,N are_homeomorphic holds
N is Hausdorff