付値がアルキメデス的ならばRまたはCを得、非アルキメデス的で有理数の素数pの上にあれば、有限拡大Kw/Qp:有限の剰余体を持つ完備離散付値体を得る。
如果非阿基米德赋值，则是有理素元的离散赋值，得到有限扩张Kw/Qp:：这离散赋值域也是一个完全域，且是有限剩余域。