Sea formula_3, un conjunto conexo y abierto (si no es conexo, lo que sigue es válido para cada componente conexa) y formula_4 una función holomorfa no constante.