Siden C(, ) er definert som null hvis > , er summen endelig. Ved å utvide (1+) (1+) = (1+) med (2). Likning (7a) generaliserer likning (3). Likning (7a) er (etter Alexandre-Théophile Vandermonde) og er essensielt en form for Chu-Vandermonde identiteten. Den kan vises å gjelde for tilfeldige, komplekse og .