 Pricing equation for a local volatility model

For a local volatility model $d{S}_t=S_t(rdt+\sigma (S_t)d{W}_t^Q)$ with bank account $B_t=B_0{e}^{rt}$, a nonnegative classical solution $V$ ofdefines a possible price of a European contingent claim. Indeed, Itô formula gives $d(V(t,S_t)/B_t)=B_t^{-1}\sigma (S_t)S_t{V}_S(t,S_t)d{W}_t^Q$, a local martingale. Thus the same equivalent local martingale measure works for the market augmented by this price. For an admissible trading strategy whose discounted wealth is bounded below, the discounted gains are a local martingale bounded below, hence a supermartingale by localization and the Fatou lemma. A zero-cost terminal gain that is nonnegative and strictly positive with positive probability would then contradict the supermartingale expectation inequality. This proves the absence of arbitrage for such strategies. If $V$ is bounded on the finite time interval, its discounted value is a bounded martingale and consequently $V(t,S_t)=B_t{\mathbb{E}}_Q[g(S_T)/B_T\mid {\mathcal{F}}_t]$. Nonnegativity alone guarantees the local martingale calculation, not this latter equality for every possible solution.