Todays result is Theorem If the domain is Noetherian, integrally closed, and has a unique nonzero prime ideal , then is a DVR. 반대로 모든 DVR은 이러한 특성을 갖습니다. This is equivalent to the fact that Dedekind domains have unique factorization, as well see eventually.