Lemmas in group theory