Item 1.4.10.f.

What binomial identity have you just given a combinatorial proof for?

in-context