Start=prim (Halbring)

MDLUL/prim (Halbring)

Ziel=Kommutativer Halbring/Primelement/Definition