Kommutativer Ring/Modul/Länge/Kurze exakte Sequenz/Fakt/Beweis

Beweis

Dies folgt aus Fakt.