Principal Function Satisfies Hamilton–Jacobi