Ambas demostraciones se basaban en el resultado de que la función zeta de Riemann formula_5no tiene ceros de la forma "1 + it" con "t > 0".