Start=Länge (Modul)

MDLUL/Länge (Modul)

Ziel=Kommutativer Ring/Modul/Länge/Definition