field K의 valuation ring이 local임을 증명할 때 모든 nonunit들을 다 모은 집합이 maximal ideal임을 보여서 증명하던데

local ring중에는 모든 nonunit을 다 모은것이 maximal ideal이 아닌 것도 있음?

- dc official App