theorem Th10: :: GRFUNC_1:10

for f, g being Function st g c= f & f is one-to-one holds
g is one-to-one