P
Initializing...
The residue at $s=1$ equals the average of the Dirichlet coefficients · Prove2Me