If this necessary condition is satisfied, Dirichlet's theorem on arithmetic progressions asserts that the progression contains infinitely many primes.
If a and q are coprime, which theorem holds that an arithmetic progression has an infinite number of primes?
Dirichlet's theorem