Closed Form for Hexagonal Pyramidal Numbers

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