This paper presents the definition and criterion for holonomic mechanical systems. The Noether conserved quantity, the Hojman conserved quantity and the Lutzky conserved quantity deduced by the Lie-form invariance are obtained. An example is given to illustrate the application of the result.