Page "Discrete valuation" Paragraph 10

of, which is a discrete valuation ring.

Conversely, the valuation on a discrete valuation ring can be extended to a valuation on the quotient field giving a discrete valued field, whose associated discrete valuation ring is just.