We give a proof of a theorem by N.N. Nekhoroshev concerning Hamiltonian
systems with n degrees of freedom and s integrals of motion in involution,
where 1≤s≤n. Such a theorem ensures persistence of s-dimensional
invariant tori under suitable nondegeneracy conditions generalizing
Poincar\'e's condition on the Floquet multipliers.Comment: 13 pages, no figure