theorem Th6: :: JGRAPH_5:6

for X, Y, Z being TopStruct
for f being Function of X,Y
for h being Function of Y,Z st h is being_homeomorphism & f is one-to-one holds
h * f is one-to-one