局所体Kは局所コンパクトであり、その付値環οはコンパクトである
Qpは局所体なので、その付置環Zpはコンパクトである