MATH 239: updated Hamiltonian theorem name.