Entonces existen los conjuntos abiertos formula_24 y formula_25 con formula_26 y formula_27 tales que para cada formula_28 existe un único formula_29 tal que formula_30 y formula_31 lo que define una función formula_32 que es continua y diferenciable y que además satisface