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