Polynomring/Polynom/Homogenisierung mit neuer Variablen/Definition/Begriff