Start=gradlexikographische Ordnung (Polynomring)
Ziel=Polynomring/Gradlexikographische Ordnung/Definition