This theorem records the basic algebra rules for differentiable maps between Euclidean spaces. It says that sums and scalar multiples of differentiable vector-valued maps remain differentiable, and that products of differentiable real-valued functions satisfy the usual product rule.