Es sei a ≠ 0 {\displaystyle {}{\mathfrak {a}}\neq 0} ein Ideal in einem Dedekindbereich. Zeige, dass es ein Ideal b ≠ 0 {\displaystyle {}{\mathfrak {b}}\neq 0} derart gibt, dass a b {\displaystyle {}{\mathfrak {a}}{\mathfrak {b}}} ein Hauptideal ist.
