几乎处处为1，因此左侧的下极限几乎处处为零。若formula_121，当formula_115充分大时，formula_5在所有formula_116内解析，因此：将围道积分视为集合函数，上述极限以及围道积分的连续性和可加性保证了围道积分几乎处处可导，且围道积分的值由导函数在集合上的积分给出。又因上述下极限在formula_88上几乎处处为零，该导数在formula_88上也几乎处处为零。这意味着formula_5在formula_88内的围道积分恒为零，即formula_5在formula_88乃