命題
U を Q_p のコンパクト開集合(>>4) とし、
U は、基本ブロック(過去スレ012の564) A_1, ..., A_r により直和分割され、
さらに、U は、基本ブロック B_1, ..., B_s によっても直和分割されるとする。

このとき、λ(A_1) + ... + λ(A_r) = λ(B_1) + ... + λ(B_s) である。
ここで、λ は>>2で定義したものである。

証明
A_i ∩ B_j の形の集合で空でないもの全体を C_1, ..., C_m とおく。
U は C_1, ..., C_m により直和分割される。
過去スレ012の565より、各 C_k は基本ブロックであり、各 A_i および各 B_j は
C_k の形の集合の合併となる。
よって、>>3より、
λ(A_1) + ... + λ(A_r) = λ(C_1) + ... + λ(C_m)
および、
λ(B_1) + ... + λ(B_s) = λ(C_1) + ... + λ(C_m)
となる。

よって、
λ(A_1) + ... + λ(A_r) = λ(B_1) + ... + λ(B_s)
である。
証明終