El teorema anterior expresa una condición suficiente aunque no necesaria, ya que por ejemplo la función formula_15 tiene por jacobiano formula_16 que se anula en el punto formula_17, aunque alrededor de ese punto la función sigue teniendo inversa formula_18 aun cuando el jacobiano es nulo en el origen.