Before revision:  The verification theorem is carefully proved, which gives the complete characterization of the primal value function and the feedback optimal portfolio.
After revision:  The verification theorem is carefully proved, which gives the complete characterization of the feedback optimal portfolio.