Continuous local martingale $M$ with $\langle M\rangle_t=t$ is a martingale I am currently reading a proof of the Levy characterization of Brownian motion, and it seems it uses the following result. Let $(M_t,\mathcal F_t)_{t\geq 0}$ be a continuous local martingale with quadratic variation $\langle M\rangle_t=t$. Then $M$ is a martingale. Why is this true?
 A: Let $(S_n)_{n\in\Bbb N}$ be a localizing sequence of stopping times for both continuous local martingales $(M_t^2-t,\mathcal F_t)_{t\geq 0}$ and $(M_t,\mathcal F_t)_{t\geq 0}$. Fix $0\leq s< t$. We have
\begin{align}
\Bbb E[\sup_{0\leq r\leq t}M_{r}^2]=&\Bbb E[\lim_{n\rightarrow\infty}\sup_{0\leq r\leq t}M_{r\wedge S_n}^2]\\
\leq&\limsup_{n\rightarrow\infty}\Bbb E[\sup_{0\leq r\leq t}M_{r\wedge S_n}^2]\\
\leq&4\limsup_{n\rightarrow\infty}\Bbb E[M_{t\wedge S_n}^2]\\
=&4\limsup_{n\rightarrow\infty}\Bbb E[t\wedge S_n]\\
=&4t<\infty
\end{align}
The first inequality follows from Fatou and the second from Doob's inequality applied to the continuous non-negative submartingale $(|M|_{t\wedge S_n},\mathcal F_t)_{t\geq 0}$. Thus also $\Bbb E[\sup_{0\leq r\leq t}|M_{r}|]\leq 1+4t<\infty$.
For $A\in\mathcal F_s$, we then have
\begin{align}
\Bbb E[(M_t-M_s)1_A]=&\Bbb E[\lim_{n\rightarrow\infty}(M_{t\wedge S_n}-M_{s\wedge S_n})1_A]\\
=&\lim_{n\rightarrow\infty}\Bbb E[(M_{t\wedge S_n}-M_{s\wedge S_n})1_A]\\
=&\lim_{n\rightarrow\infty}0=0\\
\end{align}
Where the second inequality follows from dominated convergence (dominated by $2\sup_{0\leq r\leq t}|M_{r}|$). Thus $M$ is a square integrable martingale.
