 To rigorously complete the proof there are still serious technicalities to overcome, due to the fact that the summation over zeta zeros in the explicit formula for does not converge absolutely but only conditionally and in a "principal value" sense.There are several ways around this problem but many of them require rather delicate complex-analytic estimates.Edwards's book provides the details.