Es sei F ≠ 0 {\displaystyle {}F\neq 0} . Dann gibt es eine (bis auf die Reihenfolge der Faktoren) eindeutige Produktdarstellung
mit a ∈ K × {\displaystyle {}a\in K^{\times }} und irreduziblen normierten Polynomen F i {\displaystyle {}F_{i}} , i = 1 , … , r {\displaystyle {}i=1,\ldots ,r} .
