Es sei R {\displaystyle {}R} ein Dedekindbereich und seien p {\displaystyle {}{\mathfrak {p}}} und q {\displaystyle {}{\mathfrak {q}}} zwei verschiedene Primideale. Dann ist