Chu–Vandermonde identity