Assertion: gauss's theorem | /r/CapableOf | use idea
Facets:
Source sentences:
text: The theorem was proved independently by Jacques Hadamard and Charles Jean de la Vallée Poussin in 1896 using ideas introduced by Bernhard Riemann (in particular, the Riemann zeta function).