Sea el programa matemático: Optimizar    con f una función diferenciable en un conjunto  . 

Si D es un conjunto abierto se puede aplicar la proposición " Si el gradiente de f en  es igual a cero entonces  es óptimo local ".