This theorem says that an [iterated directional derivative](/page/Iterated%20Directional%20Derivative) at a point depends only on the behavior of the function near that point. It lets one replace a function by a locally equal function without changing the computed repeated [directional derivative](/page/Directional%20Derivative).