析性和围道积分的关系可以证明formula_27是一个闭集。定义formula_80为formula_9的具备如下性质的子集：由formula_5的连续性和处处可求偏导的性质分别可以推出formula_80是闭集，且formula_85。因此，由贝尔纲定理，必然至少存在一个formula_86和formula_9中开集formula_88，使得formula_89。设formula_90是formula_88中任意一个边长小于formula_92，且交formula_27非空的正方形。可证formu