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