Before revision:  The verification theorem and the characterization of the optimal trading strategy can be concluded with the aid of our newly established BSDE results .
After revision:  The verification theorem and the characterization of the optimal trading strategy can be concluded with the aid of our BSDE results, which in turn yields the uniqueness of the solution to the BSDE .