16.18. Tétel

Prímtényezős felbontás egyértelműségének elégséges feltétele

Legyen RR integritástartomány, amelyben minden felbonthatatlan elem prímtulajdonságú. Ekkor RR-ben teljesül a számelmélet alaptételének egyértelműségi állítása.

Azaz amennyiben egy nem nulla, nem egység elem felbontható RR felbonthatatlan elemeinek szorzatára, úgy ez a felbontás asszociáltságtól és a tényezők sorrendjétől eltekintve egyértelmű a 16.16. Definíció szerinti értelemben.