Modultheorie/Endlich erzeugt/Assoziierte Primideale/Noethersch/Fakt/Beweis

Beweis

Die Existenz folgt aus Fakt. Die Endlichkeit folgt aus Fakt, Fakt und Fakt.