Start=Polynom (R)

MDLUL/Polynom (R)

Ziel=Körper/Polynom_in_einer_Variablen/Definition