= Solution
Let $L=N-H\mathbin\cdot M$. It is a continuous square-integrable <martingale>, and the assumed bracket identity gives
$$
[L,K]_t=[N,K]_t-\int_0^tH_s\,d[M,K]_s=0
$$
for every continuous square-integrable martingale $K$. Choose $K=L$ and use part (i):
$$
\mathbb E[L_\infty^2]=\mathbb E[L]_\infty=0.
$$
Thus $L_\infty=0$ almost surely, and the <conditional expectation> property gives $L_t=\mathbb E[L_\infty\mid\mathcal F_t]=0$ for every $t$. Hence $N=H\mathbin\cdot M$ up to <indistinguishability of stochastic processes>.
Back to article page
