Solution (source code)

= Solution

For $s<t$, write $X_t=X_s+Y$, where the increment $Y=X_t-X_s$ is independent of the <natural filtration> at time $s$, has mean zero, and has variance $(t-s)\sigma^2$. Hence
$$
\mathbb E[X_t^2\mid\mathcal F_s]
=X_s^2+\mathbb E[Y^2]
=X_s^2+(t-s)\sigma^2.
$$
It follows that $M_t=X_t^2-t\sigma^2$ is a martingale, as asserted by the <centered square-integrable Lévy martingale> identity.