n + 3*binomial(n+2, 4) - 3*binomial(n+1, 4) + binomial(n, 4) = binomial(n+3, 4)