Dirichlet's theorem on arithmetic progressions

theorem that, for coprime 𝑎 and 𝑑, there are infinitely many primes congruent to 𝑎 modulo 𝑑