We are now ready to prove the remaining properties of the Hamiltonian, namely, statements 2 and 3 of the maximum principle for the Basic Fixed-Endpoint Control Problem (see Section 4.1.1).