  In this exposition, we show that a Hamiltonian is always constant on a
compact invariant connected subset which lies in a Lagrangian graph provided
that the Hamiltonian and the graph are smooth enough. We also provide some
counterexamples for the case that the Hamiltonians are not smooth enough.
