62在formula_61上的积分满足：另一方面，formula_65，可以证明formula_66是闭集。因此，对连接formula_67和formula_68的线段使用上述一维情形的结论，可知：将上式在formula_58上积分，并将重积分化作累次积分，可得：注意到下式即可证明引理：
证明概要.记formula_27为formula_9中formula_5不解析的点的集合。利用反证法：假设formula_27非空，只需证明存在formula_27的一个子集，使得fo