From this relation it follows that the ring of differential operators with constant coefficients, generated by the D i, is commutative ; but this is only true as operators over a domain of sufficiently differentiable functions. It is easy to check the symmetry as applied to monomials, so that one can take polynomials in the x i as a domain. In fact smooth functions are another valid domain.