 Arnold-Liouville theorem

A compact connected regular common level of $n$ commuting integrals is an $n$-torus with local action-angle coordinates.