This theorem states that the [iterated directional derivative](/page/Iterated%20Directional%20Derivative) operator is linear in the function being differentiated. It records the additivity and scalar homogeneity properties that make repeated directional differentiation behave like a linear operator on suitable functions.