Exercise 2.3.1: Prove Lemma 2.3.2