The pair is a Markov diffusion with infinitesimal generator
Part d shows that the terminal condition in the equation for is exactly
when evaluated at . The Feynman-Kac formula applied to the displayed backward equation therefore gives
Part c identifies the right side with .