命題
K と L を Q_p のコンパクト集合で K ∩ L = φ なら
K ⊂ U, L ⊂ V, U ∩ V = φ となるコンパクト開集合 U, V がある。

証明
Q_p の各点の基本近傍として基本ブロック(過去スレ012の564)がとれることを
考慮すれば、コンパクト空間は正規であるという命題(過去スレ007の664)の
証明と同じである。