Abstract
A new proof of a theorem of Williamson on the complete integrability of timeāindependent, real, linear Hamiltonian differential equations with quadratic integrals is given. The sets where these integrals are functionally dependent are explicitly found.