start on lemmas for chapter 24