four lemma