原函数存在定理(3个结果)
原函数存在定理