Dirichlet's theorem on primes