Closed Form for Octagonal Numbers

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