Square martingale for independent centered sums
= 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>.