 The Lie derivative on a manifold is a globally well-defined operation in a way that the partial derivative is not.The proper generalization of Clairaut's theorem to the non-trivial manifold structure of "P" is given by the Lie bracket of vector fields and the nilpotence of the exterior derivative.And we obtain an essential tool for computation