17.11. Tétel
Euklidészi lemma
Legyen R egy tetszőleges integritástartomány, amelyben bármely két elemnek létezik kitüntetett közös osztója. Ekkor ha valamely a, b és c elemek esetén teljesül az a|bc oszthatóság, valamint a és b relatív prímek, akkor teljesül az a|c oszthatóság is.
♣