Lemmas in number theory