Assertion: gauss's proof | /r/CapableOf | use method
Facets:
value: from complex analysis
type: OTHER
Source sentences:
text: Both proofs used methods from complex analysis, establishing as a main step of the proof that the Riemann zeta function ζ(s) is non-zero for all complex values of the variable s that have the form s = 1