theorem
  for T1,T2 being non empty TopSpace, f being Function of T1,T2 st f is
  being_homeomorphism for A being Subset of T1 st A is connected holds f.:A is
  connected by TOPS_2:61;
