ormula_27为其内一个闭集。可以在formula_20上定义一个辅助函数，它在formula_27内取formula_5，在formula_40内取分段线性函数，并保持边界处连续。可以证明，该辅助函数在整个formula_20上利普希茨连续，因此绝对连续，几乎处处可导，且导函数可积。而formula_27的孤立点集至多可数，在formula_27非孤立点集上，辅助函数和formula_5的导数又几乎处处相等。故而：回到引理，由于formula_30是包含闭集formula_27的最小矩形，在区间f