Assertion: gauss | /r/CapableOf | prove with this equation
Facets:
Source sentences:
text: With this equation, Gauss proved that every positive integer is representable as a sum of at most three triangular numbers, a discovery which led to the highly influential Weil conjectures 150 years later.