Dirichlet's theorem on arithmetic progressions

For any coprime integers a, q there are infinitely many primes ≡ a (mod q). Dirichlet (1837) introduced L-functions to prove it.