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