Poisson-commuting separated energies
= Poisson-commuting separated energies
{c}
Hamiltonians that split into terms $F_i(p_i,q_i)$ have $\{F_i,F_j\}=0$ for $i\ne j$, and their differentials are generically independent because they use disjoint coordinate pairs.