nine lemma