封闭引理

closing lemma