k+σ交换引理相关论文