Lemmas in set theory