For a differentiable function formula_3, if formula_4 is an extreme value for the set of all values formula_5, and if formula_6 is in the interior of the domain of formula_3, then formula_6 is a critical point, by Fermat's theorem.