Lokaler Ring/Regulär/Faktoriell/Fakt
Ein
regulärer lokaler Ring
ist
faktoriell
.
Zum Beweis
,
Alternativen Beweis erstellen