We prove that any multi-variate Hasse–Schmidt derivation can be decomposed in terms of substitution maps and uni-variate ...