This theorem records the basic algebra rules for taking a [partial derivative](/page/Partial%20Derivative) in one fixed coordinate direction. It shows that the coordinate partial derivative is linear and satisfies the usual product rule whenever the relevant partial derivatives exist.