Given a C∞ manifold X, denote by Cm / X the sheaf of m-times differentiable real-valued functions and by Dm,r / X the sheaf of differential operators of order ≤ m with coefficient functions of class C r . We prove that the natural morphism Dm−r,r / X → H omRX(Cm / X , Cr / X) is an isomorphism.
