El teorema de dependencia funcional establece que una condición necesaria es que si las funciones formula_2 son de clase formula_12 entonces todos los menores de orden "m" de la matriz jacobiana formula_13 son idénticamente nulos, o equivalentemente que dicha matriz tiene un rango inferior a "m".