identities, combinatorial identities, finite sums, binomial coefficients