Author: Anonymous User 1847

combinatorial identity about binomial coefficients