命題
U と V を Q_p のコンパクト開集合(>>4) とする。
U - V はコンパクト開集合である。

証明
V はコンパクトであるから閉集合である。
よって、U - V は開集合である。
一方、U はコンパクトであるから閉集合であり、V は開集合であるから
U - V は閉集合である。U はコンパクトであり、U - V を含むから、
U - V はコンパクトである。
証明終