El teorema de la función inversa da una condición no suficiente para que una función diferenciable sea localmente inyectiva: