Polynomring über Körper/Eine Variable/Hauptidealbereich/Fakt/Beweis/Aufgabe