Closed Form for Hexagonal Numbers

Theorem
The closed-form expression for the $n$th hexagonal number is:
 * $H_n = n \left({2 n - 1}\right)$