chap2 notes on lemma