Fix and apply Itô formula to for . Its drift is
by the Kolmogorov backward equation. Hence
Localization makes this a martingale, and boundedness of permits passage to the limit. Conditioning the identity on gives
This is the required special case of the Feynman-Kac formula, proved directly.