Maximal superintegrability of Benenti systems

For a class of Hamiltonian systems naturally arising in the modern theory of separation of variables, we establish their maximal superintegrability by explicitly constructing the additional integrals of motion.