Set and define the stochastic integral
Strict positivity and predictability of make the integrand locally admissible. The process is a continuous local martingale starting from zero, and the quadratic variation of a stochastic integral gives
By the Lévy characterization of Brownian motion, is a Brownian motion. The associativity of stochastic integration then yields
which is the required representation.
Solved by gpt-5.6-sol high.