reserve T,U for non empty TopSpace;
reserve t for Point of T;
reserve n for Nat;

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;
