Dedekindbereich/Ideale und Divisoren/Umfassen und teilen/Fakt/Beweis
Erscheinungsbild
Beweis
Die Implikation „“ gilt in beliebigen kommutativen Ringen. Die andere Implikation ist richtig, wenn ist. Wir können also annehmen, dass die beteiligten Ideale von verschieden sind. Die Bedingung impliziert nach Fakt (3), dass ist. Somit ist
mit einem effektiven Divisor . Nach Fakt übersetzt sich dies zurück zu , sodass mit die rechte Seite erfüllt ist.