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