Kommutative Ringtheorie/Faktoriell/Normal/Fakt/Beweis/Aufgabe