formula_5不解析的点的集合。利用反证法：假设formula_27非空，只需证明存在formula_27的一个子集，使得formula_5在其上解析，即可推出矛盾，进而说明原命题成立。利用解析性和围道积分的关系可以证明formula_27是一个闭集。定义formula_80为formula_9的具备如下性质的子集：由formula_5的连续性和处处可求偏导的性质分别可以推出formula_80是闭集，且formula_85。因此，由贝尔纲定理，必然至少存在一个formula_86和formul