Start=Teiler (Monoid)

MDLUL/Teiler (Monoid)

Ziel=Kommutatives Monoid/Teilbarkeit/Definition