>>565 の続き

>>563 より Z[η]_P ⊂ R であった。

>>565 より Z[η]_P は離散付値環であるから >>561 より
Z[η]_P = R である。