These integrals of motion are proved to be functionally independent and involutive, which leads to the complete Liouville integrability of these finite-dimensional systems.

• 运动积分证明是互相对合、相互独立的, 从而证明这些 Hamilton 系统是 Liouville可积的。