The Hénon–Heiles Hamiltonian near the critical energy level—some rigorous results