Closed Form for Tetrahedral Numbers

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