 Let denote the number of primes in the arithmetic progression less than .Dirichlet and Legendre conjectured, and de la Vallée Poussin proved, that, if and are coprime, then

where is Euler's totient function.In other words, the primes are distributed evenly among the residue classes modulo with 1.