0≠f(x)∈Z[x] birim eleman olsun, bu durumda bir adet g(x)∈Z[x] vardir ki f(x)g(x)=1 olsun. x∈Z[x] askin bir eleman oldugundan bu durum sadece f(x)∈Z icin dogru olabilir. (Derecelerden oturu).
Q[x] icin de aynisi gecerli. Yani kisacasi Z ve Q icerisindeki birimleri bulmaliyiz.
Z halkasinin birimleri {±1}, Q ise bir cisim.
Duzenleme/Ekleme: Yukarida Z ve Q'nun tamlik bolgesi oldugunu da kullanmak gerekir. Carparken derecelerin azalmayacagini garantilemek icin.