Es sei R {\displaystyle {}R} ein Dedekindbereich und f ∈ R {\displaystyle {}f\in R} , f ≠ 0 {\displaystyle {}f\neq 0} . Zeige, dass der Hauptdivisor div ( f ) {\displaystyle {}\operatorname {div} {\left(f\right)}} mit dem Divisor zum Hauptideal
übereinstimmt.