Esto constituye un refuerzo significativo del teorema de los números primos, y constituye el teorema de los números primos para progresiones aritméticas.