Sea formula_38 una raíz de una función holomorfa formula_24, y formula_40 el último entero positivo formula_41 tal que, la formula_41 derivada de formula_24 evaluada en formula_38 es diferente de cero.