命題
U を Q_p のコンパクト開集合(>>4) とし、
U はコンパクト開集合 U_1, ..., U_r により直和分割されるとする。

λ(U) = λ(U_1) + ... + λ(U_r) である。

証明
>>5より、各 U_i を基本ブロック A_(i, 1), ..., A(i, i_s) により直和分割する。
>>7より、λ(U_i) = λ(A_(i, 1)) + ... + λ(A(i, i_s)) である。
同じく、>>7より、
λ(U) = Σλ(A_(i, j)), 1 ≦ i ≦ r, 1 ≦ j ≦ i_s である。
よって、
λ(U) = λ(U_1) + ... + λ(U_r) である。
証明終