命題
X を局所コンパクト空間とする。
μ を X の 開集合全体を含む σ-集合代数 Ψ で定義された
準正則(>>40)な測度とする。

さらに、X の任意のコンパクト集合 K に対して
μ(K) ＜ +∞ とする。

X がσ-コンパクト(>>100)なら μ は正則(>>19)である。

証明
>>107 より明らかである。