Arnol'd–Liouville theorem