Square of Triangular Numbers as Sum of Triangular Numbers

Theorem

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

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