En el curso de la prueba, Dirichlet demostró que no es cero en "s" = 1.