Assertion: pascal | /r/CapableOf | prove pascal’s identity
Facets:
value: in 1654
type: TEMPORAL
Source sentences:
text: In 1654, he proved Pascal’s identity, relating the sums of the p-th powers of the first n positive integers for p = 0, 1, 2, …, k.