final till lemma 9