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