Fermat's theorem
However, in the general statement of Fermat's theorem, where one is only given that the derivative "at" formula_13 is positive, one can only conclude that secant lines "through" formula_13 will have positive slope, for secant lines between formula_13 and near enough points.