Dirichlet's Theorem on Primes in Arithmetic Progressions