Author: Anonymous User 1632

combinatorial identity about binomial coefficients