Lemmas in graph theory