補題
X を局所コンパクト空間とする。
L を M+(X) (過去スレ007の715) の任意の元とする。
ν を L から誘導された測度(>>36)とする。

f を K+(X) (過去スレ007の713) の任意の元とする。
L(f) ≧ ∫[X] f dν である。

証明
過去スレ007の928とまったく同じである。