Este teorema sobre la distribución de los números primos en formula_1, fue conjeturado por Gauss y finalmente demostrado en 1837 por Dirichlet, nombre por el que actualmente se le conoce.