17.9. Tétel
A kitüntetett közös osztó kiemelési tulajdonsága
Legyen egy tetszőleges integritástartomány, amelyben bármely két elemnek létezik kitüntetett közös osztója. Ekkor tetszőleges , és elemekre érvényes az alábbi összefüggés:
Azaz és mindig egymás asszociáltjai.
♣