易地证明定理成立。而由于紧支撑的阶梯函数的集合（或formula_23函数的集合）在所有可积函数集合formula_22中是稠密的，于是只要将每个可积函数 formula_2 看成是一列紧支撑阶梯函数（或formula_23函数）的极限，那么根据勒贝格控制收敛定理，就有：