存在定理相关论文