Square-minus-time martingale of a simple symmetric random walk
= Square-minus-time martingale of a simple symmetric random walk
{title2=$S_n^2-n$}
For a simple symmetric random walk, $S_n^2-n$ is a martingale because the next increment has conditional mean zero and conditional square one.