Start=normaler Ring

MDLUL/normaler Ring

Ziel=Kommutativer Ring/Normal/Definition