Vandemonde's formula