In dynamical systems theory, a theorem stating that if, in a Hamiltonian dynamical system with n degrees of freedom, there are also known n first integrals of motion that are independent and in involution, then there exists a canonical transformation to action-angle coordinates in which the transformed Hamiltonian is dependent only upon the action coordinates and the angle coordinates evolve linearly in time. Thus the equations of motion for the system can be solved in quadratures if the canonical transform is explicitly known.