Dirichlet y Legendre conjeturaron, y Vallée-Poussin demostró, que, si "a" y "n" son coprimos, entonces