Product of Consecutive Triangular Numbers

Theorem

 * $2 T_n T_{n - 1} = T_{n^2 - 1}$

where $T_n$ denotes the $n$th triangular number.