Closed Form for Square Pyramidal Numbers

Theorem
The closed-form expression for the $n$th square pyramidal number is:
 * $S_n = \dfrac {n \paren {n + 1} \paren {2 n + 1} } 6$