Start=regulär (Ring)

MDLUL/regulär (Ring)

Ziel=Kommutativer Ring/Regulär/Definition