Fermat's theorem
Therefore, formula_26 must attain its maximum value at some point formula_43. Hence, by Fermat's theorem, formula_44, i.e. formula_12.