closing lemma