Finalmente, como formula_5 está definida sobre un conjunto simplemente conexo, entonces f debe ser constante.