类型:零点定理