Primes in Arithmetic Progression 1: Proof of Dirichlet theorem