for S, T being non empty TopSpace st S,T are_homeomorphic & S is simply_connected holds
T is simply_connected by Th13, TOPALG_3:9;