辅助定理相关论文