MDLUL/zerlegt (Primideal)

Start=zerlegt (Primideal)

MDLUL/zerlegt (Primideal)

Ziel=Dedekindbereich/Primideal/Unzerlegt/Definition