Odd Number Theorem/Corollary

Theorem
A recurrence relation for the square numbers is:


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