原函数存在定理