Assertion: gauss's proof | /r/CapableOf | establish as main step of the proof
Facets:
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