for T1, T2 being TopSpace st T1,T2 are_homeomorphic holds
weight T1 = weight T2