>>33の記号を使う。
K を Q_p のコンパクト集合とする。
U を K ⊂ U となる開集合とする。
λ(K) ≦ λ(U) だから λ(K) ≦ μ^*(K) である。

一方、>>28より、
Q_p の任意のコンパクト部分集合 K に対して
λ(K) = inf {λ(U); K ⊂ U かつ U はコンパクト開集合 }
であるから、μ^*(K) ≦ λ(K)

よって、μ^*(K) = λ(K) である。