3) Fundamento prop. 1.2 item 3

Al final tendría que haber dicho que la composición es sobre porque cada elemento en el conjunto C tiene una preimagen a.

Y por haber demostrado la inyectividad y la suprayectividad entonces si f y g son biyectivas entonces gof es biyectiva.