donde tr es la traza del operador (suma de sus valores propios), formula_6 es un número imaginario y formula_7 es la función de Chebyshov que nos suma el log(x) sobre los primos y sus potencias enteras, dicha fórmula es una conclusión de la 'fórmula explícita' de V.