Resaltamos que el enunciado (c) se cumple solo en caso de que la función formula_3 sea inyectiva.