Start=Polynom (n)

MDLUL/Polynom (n)

Ziel=Polynomring/Körper/n_Variablen/Definition