In 1654 Blaise Pascal proved Pascal's identity relating the sums of the p-th powers of the first n positive integers for p = 0, 1, 2, …, k.