Dirichlet's Theorem on Arithmetic Progressions/Lemma 1