命題
X を局所コンパクト空間とする。
λ を X の容量(過去スレ007の723) とし、
μ^* を λ から誘導された外測度(>>17)とする。

A を X の部分集合で μ^*(E) = 0 とする。
E は (μ^*)-可測である。

証明
>>22 より

任意の開集合 U に対して
μ^*(U) ≧ μ^*(U ∩ E) + μ^*(U ∩ E^c)
を示せばよい。

μ^*(U ∩ E) = 0 であるから、これは明らかである。
証明終