theorem Th14: :: TOPALG_6:14

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;