Let i? be a Dedekind domain with infinitely many primes and {/) C R[X] a principal prime
ideal which is not maximal. Let m be a maximal ideal of R[X] and n be a maximal ideal of
R[X]/ (/). Then localization of R[X]/(/) at n is principal if and only if there exist t in
such that mi?[X]ni =