Statement

Compute the sum of the first six triangular numbers T1+T2++T6T_1+T_2+\dots+T_6 and check it is a tetrahedral number.