Dirichelt's Theory that there are infinitely many primes in any arithmetic progresssion. Does anyone know its proof? Nowhere I look it says "The proof of this is beyond the scope of this book" even in Hardy's and Wright's book! Come on, how complicated a proof can be?