命題
Q_p の任意のコンパクト開集合(>>4) U は有限個の基本ブロック
(過去スレ012の564)により直和分割される。

証明
U は開集合だから、U の任意の点 x に対して x + (p^n)Z_p ⊂ U となる
整数 n がある。
U はコンパクトだから U は x + (p^n)Z_p の形の有限個の集合
即ち基本ブロックの合併となる。
よって、過去スレ012の565より、U は基本ブロックにより直和分割される。
証明終