 Square-minus-time martingale of a simple symmetric random walk

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.