This theorem gives the first-order necessary condition for an interior local extremum of a differentiable function. Every [directional derivative](/page/Directional%20Derivative) at the extremum must vanish, reflecting that the total derivative is zero there.