ルベーグ積分
が成立する。この二つ目の等式は、"f" の定義により自明に分かる。ルベーグ積分の線型性および単調性により、