eight lemma