for S, T being TopSpace st S,T are_homeomorphic & S is connected holds
T is connected