16.18. Tétel
Prímtényezős felbontás egyértelműségének elégséges feltétele
Legyen integritástartomány, amelyben minden felbonthatatlan elem prímtulajdonságú. Ekkor -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ó 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.
♣