Ambil sembarang a ∈ 𝐷 − {0}, 𝑎 bukan unit.

Misalkan a dapat difaktorkan menjadi a = 𝑝1 𝑝2 … 𝑝𝑟 dan a = 𝑞1 𝑞2 … 𝑞𝑠 dengan 𝑝𝑖 , 𝑞𝑖 elemen

tak tereduksi.

Maka 𝑝1 |(𝑞1 𝑞2 … 𝑞𝑠 ).

Akibatnya, 𝑝1 |𝑞𝑗 untuk suatu 𝑗 ∈ ℤ+ .

Apabila perlu menguabh urutan, maka dapat diasumsikan 𝑗 = 1, sehingga 𝑝1 |𝑞1.

Akibatnya, 𝑞1 = 𝑝1 𝑢1 untuk suatu 𝑢𝑖 ∈ 𝐷.

Karena 𝑝1 tak tereduksi maka 𝑢1 unit.

Dengan demikian, 𝑝1 dan 𝑞1 beasosiasi.

Diperoleh 𝑝1 𝑝2 … 𝑝𝑟 = 𝑢1 𝑞2 … 𝑞𝑠 .

Berdasarkan hukum kanselasi di 𝐷 diperoleh 𝑎 = 𝑝1 𝑝2 … 𝑝𝑟 = 𝑢1 𝑞2 … 𝑞𝑠 .

𝑝1 𝑝2 … 𝑝𝑟 = 𝑢1 𝑞2 … 𝑞𝑠
Apabila proses tersebut dilanjutkan maka diperoleh 1 = 𝑢1 𝑢2 … 𝑢𝑟 𝑞𝑟+1 … 𝑞𝑠 .

Karena 𝑞𝑖 tak tereduksi maka haruslah 𝑟 = 𝑠, dan karena 𝑢𝑖 unit di 𝐷 maka 𝑝𝑖 berasosiasi
dengan 𝑞𝑖 .

Dengan demikian terbukti bahwa daerah ideal utama merupakan daerah faktorisasi tunggal.