Use just the parameters and . Positivity and adaptation of their local martingales give
Thus both processes are adapted. A positive continuous local martingale has a semimartingale logarithm, by Itô formula after localization away from zero. Since and has finite variation, is a continuous semimartingale. Write , where is a zero-starting continuous local martingale and is continuous finite variation, also starting from zero.
Apply Itô formula to each exponential:
Because is itself a local martingale, the finite-variation term is zero by part (a). Divide its finite signed measure by the strictly positive . For , respectively,
Adding and subtracting show and . Therefore the exponential criterion for a continuous local martingale and its bracket gives
The semimartingale property was established before applying Itô's formula to ; it was not assumed from the outset.