Liouville–Arnold theorem
The Liouville–Arnold theorem is a result in classical mechanics which says, roughly speaking, that seemingly complicated systems can be described as combinations of simple systems if they satisfy certain conditions. The theorem is stated in the language of Hamiltonian mechanics, an approach to mechanics that focuses on the concept of energy. It is named after Joseph Liouville and Vladimir Arnold.