>>530
積分は分割領域の単関数で近似される
各領域の t による平行移動差を考えると差の測度は t→0 で 0 に収束