X: 局所コンパクトハウスドルフ空間
μ: X上のラドン測度 i.e.

　X上のボレル測度
　任意のボレル集合Eは外部正則 i.e.
　　μ(E) = inf{μ(U); U⊃E 開集合}
　任意の開集合Uは内部正則 i.e.
　　μ(U) = sup{μ(K); K⊂U コンパクト}
　任意のコンパクト集合Kに対して、μ(K) < ∞

この時、測度有限の集合の可算和となる集合Eは内部正則

これが示せない