Vandermonde's identity (source code)

= Vandermonde's identity
{wiki=Vandermonde's_identity}

Vandermonde's identity is a combinatorial identity that relates the sums of binomial coefficients.