Pascal’s binomial identity