Interior extremum theorem

In calculus and real analysis, the interior extremum theorem states that any local extremum of a real function at which it is differentiable is a stationary point. It is also known as Fermat's theorem, named after the French mathematician Pierre de Fermat.