Nicomachus's theorem (${\sum }_{k=1}^n{k}^3=T_n^2$)

For every nonnegative integer $n$,For example, $1^3+2^3+3^3+4^3=1+8+27+64=100=T_4^2$. A short proof uses the triangular number recurrence and the triangular number square-complement identity:Summing this difference of squares identity gives a telescoping sum; all intermediate squared triangular numbers cancel. Nicomachus describes a related grouping of the odd integers: take one, then the next two, then the next three, producing $1,3+5,7+9+11,\dots$, which are $1^3,2^3,3^3,\dots$. This historical grouping is recorded in Introduction to Arithmetic by Nicomachus (Hahn teacher edition) (Book II, Chapter 20, §5, printed p. 75).