原函数存在定理的推广

• the generalization of original function of the existence theorem