Stelling: Eenduidige factorontbinding

Elke veelterm f R[X] ongelijk 0 kan geschreven worden als product van eindig veel irreducibele veeltermen:

f=p1 ··· ps, met s 0, en pi irreducibel (i=1, ... ,s).

Op de volgorde van de irreducibele factoren en vermenigvuldiging met constanten na is deze schrijfwijze uniek.