A generalization of a known property of vector fields on differentiable manifolds. It is known that any derivation (over the real numbers of a certain structure of a real differentiable manifold) is automatically a vector field. In particular, any de...
