El teorema de Dirichlet (1837) dice que si mcd("a", "n") = 1 entonces hay infinitos primos congruentes con "a" módulo "n".