Start=frei (Modul)

MDLUL/frei (Modul)

Ziel=Modultheorie/Freier_Modul/Definition