the generalization of original function of the existence theorem

• 原函数存在定理的推广