https://www.glc.us.es/~jalonso/calculemus/si-g%c2%b7f-es-inyectiva-entonces-f-es-inyectiva/
Si g·f es inyectiva, entonces f es inyectiva.