Start=integre (Schema)

MDLUL/integre (Schema)

Siehe=integer (Schema)
MDLUL/integer (Schema)
Ziel=Schema/Integer/Irreduzibel und reduziert/Definition