Start=Polynom (1 R)

MDLUL/Polynom (1 R)

Ziel=Körper/Polynom in einer Variablen/Definition