Let on . The Radon-Nikodym derivative is nonnegative and . For ,
Uniqueness of the restricted Radon-Nikodym derivative therefore identifies
For , the tower property of conditional expectation gives , and . Thus is a nonnegative true martingale, indeed a uniformly integrable martingale, since it consists of conditional expectations of one integrable random variable. This is the Radon-Nikodym density martingale. Under the usual conditions for a filtration, it has the standard càdlàg version; continuity is the additional assumption in part (c), not a consequence of absolute continuity alone.
On a fixed finite horizon, equivalent probability measures have the same semimartingales. For a strictly positive continuous Radon-Nikodym density martingale and a continuous local martingale under the original measure, is a local martingale under the new one, by the Girsanov theorem. Thus the finite-variation part of a continuous semimartingale decomposition changes by the opposite covariation correction.