Kommutative Ringtheorie/Faktoriell/Normal/Fakt

Es sei ${}R$ ein faktorieller Integritätsbereich.

Dann ist ${}R$ normal.

Zum Beweis, Alternativen Beweis erstellen