Si "n" > "m", y si el rango de la matriz Jacobi alcanza su valor máximo "m", "f" es localmente invertible en ese punto, por el teorema de la función implícita.