Dirichlet's theorem on arithmetic progressions states that for any two positive integers a and