Convergence versus integrability in Birkhoff normal form

We show that any analytically integrable Hamiltonian system near an equilibrium point admits a convergent Birkhoff normalization. The proof is based on a new, geometric approach to the topic.