Es sei R ein Integritätsring. Dann heißt ein Polynom f aus R[X] irreduzibel, wenn f weder Null noch invertierbar in R[X] ist und für g,h aus. R[X] und f=gh entweder g oder h invertierbar ist. Es ist also zu zeigen, dass für jede Darstellung von f als Produkt zweier Polynome g,h mindestens eine der beiden Polynome invertierbar ist.