theorem Th14: :: TIETZE_2:15

for T1, T2, S1, S2 being non empty TopSpace
for f being Function of T1,T2
for g being Function of S1,S2 st f is being_homeomorphism & g is being_homeomorphism holds
[:f,g:] is being_homeomorphism