for S, T being non empty TopSpace st S,T are_homeomorphic & S is pathwise_connected holds
T is pathwise_connected