命題
A をネーター整域とする。
p を A の 0 でない元で pA が素イデアルとなるものとする。
このとき A の pA による局所化 A_pA は離散付値環である。

証明
>>534 から明らか。