Closed Form for Square Pyramidal Numbers

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