 Lévy characterization of Brownian motion

A continuous local martingale $M$ with $M_0=0$ is standard Brownian motion exactly when its quadratic variation satisfies $[M{]}_t=t$.