Vandermonde identity