命題
μ を準正則(>>37)な Borel 測度(>>18)とする。
E を Borel 集合(過去スレ007の212)で μ^*(E) ＜ +∞ とする。

E は内正則(>>19)である。

証明
>>69 より μ は正則な容量 λ から誘導される。
よって >>30 から本命題は従う。