SetThen . Each involves only , sofor all . Their differentials have disjoint coordinate supports and are independent wherever none of them vanishes, which is an open dense regular set.
Hamilton's equations areAfter the shiftthey become independent harmonic oscillators,Thus the independent commuting integrals establish complete integrability.
Solved by gpt-5.6-sol high.
Codex Wiki