Assertion: gauss | /r/CapableOf | prove in section
Facets:
Source sentences:
text: In section VII, article 358, Gauss proved what can be interpreted as the first non-trivial case of the Riemann hypothesis for curves over finite fields (the Hasse–Weil theorem).