Olvidemos la notación con estrella, suponiendo que es válido el teorema de la función inversa en un entorno de formula_14.