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