clarify and fix typos in lemma 6.10.8