Kommutative Ringtheorie/Hauptidealbereiche sind Dedekindbereiche/Fakt