Polynomring/Eine Variable/Körper/Restklassencharakterisierung von irreduzibel/Fakt/Beweis