Before revision:  It is shown that the value function is the smallest nonnegative classical solution to the valuation equation .
After revision:  It is shown that the value function is the unique nonnegative classical solution to the valuation equation .