Binomial identity