Demuestra que la composición de dos funciones inyectoras es inyectora