 Solution

Interpret the Stratonovich integral in its standard extension to continuous semimartingale integrands:This extension is needed because $f^{\prime }(X)$ is generally a semimartingale rather than a local martingale. Also the introductory prose in the PDF reverses integrand and integrator relative to its displayed definition; the displayed definition fixes the convention used here.

Apply the Itô formula to $f^{\prime }(X)$, using $f\in C^3$:The continuous finite-variation process in the second term has zero quadratic covariation with $X$, while the quadratic covariation rule for an Itô integral givesA second application of the Itô formula, now to $f(X)$, therefore yieldsAll unbounded coefficients are handled by stopping $X$ on compact spatial intervals, then removing the localizing sequence.