sum[ binom[k, 2],{k,2,n}] = binom[n+1,3]