Hamilton–Jacobi Global Sufficiency Theorem