Odd Number Theorem/Corollary

Theorem
A recurrence relation for the square numbers is:


 * $S_n = S_{n - 1} + 2 n - 1$