17.5. Tétel
A kitüntetett közös osztó egyértelműsége
Ha egy integritástartományban valamely és elemeknek létezik kitüntetett közös osztója, akkor az asszociáltságtól eltekintve egyértelmű.
Azaz egyrészt egy kitüntetett közös osztó bármely asszociáltja is kitüntetett közös osztó, másrészt pedig bármely két kitüntetett közös osztó szükségképpen egymás asszociáltja.
♣