Square martingale for independent centered sums (source code)

= Square martingale for independent centered sums

For independent centered square-integrable variables, if $S_n=\sum_{m\leq n}X_m$ and $V_n=\operatorname{Var}(S_n)$, then
$$
S_n^2-V_n
$$
is a <martingale>.