for S, T being non empty TopSpace st S,T are_homeomorphic & S is having_trivial_Fundamental_Group holds
T is having_trivial_Fundamental_Group