This theorem identifies an [iterated directional derivative](/page/Iterated%20Directional%20Derivative) with the value of the second Frechet derivative on the two chosen directions. It explains when repeated directional differentiation is controlled by the bilinear [second derivative](/page/Second%20Derivative) rather than by a path-dependent calculation.