Debemos hacer énfasis en que el resultado anterior no se cumple para cualquier función formula_3 a menos que esta sea inyectiva.