μを可測空間(B,B(I))上の有限測度とする。ただしI=[0,1]かつB(I)はボレル集合族である。
fをI上の有界ボレル可測関数とする。任意の0≦t≦1に対して,
∫[0,t]f(x)dμ(x)=0 ならば f(x)=0 μ-a.e.xなるを示せ。
({E⊂(0,1)| ∫_E f(x)dμ(x)=0}は単調族)