Start=polynomialer Typ

MDLUL/polynomialer Typ

Ziel=Funktion/Z nach Z/Polynomialer Typ/Definition