紧致引理论文