段使用上述一维情形的结论，可知：将上式在formula_58上积分，并将重积分化作累次积分，可得：注意到下式即可证明引理：
证明概要.记formula_27为formula_9中formula_5不解析的点的集合。利用反证法：假设formula_27非空，只需证明存在formula_27的一个子集，使得formula_5在其上解析，即可推出矛盾，进而说明原命题成立。利用解析性和围道积分的关系可以证明formula_27是一个闭集。定义formula_80为formula