theorem Th17: :: TOPREAL6:19

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