where the is an optimal control strategy.
The satisfies
By definition, Hence,
Assume that satisfies the relationships and the function is defined by for some strategy then for any and the ODE solution .
Hence, or The LHS is .