dirichlets lemma