Él sabía que los ceros no triviales de la función zeta están distribuidos en torno a la recta "s" = 1/2 + "i t", y sabía también que todos los ceros no triviales debían estar en el rango 0 ≤ Re("s") ≤ 1.