17.13. Tétel
Az euklidészi algoritmus alapgondolata
Legyen egy tetszőleges integritástartomány. Ekkor ha valamely és elemeknek létezik az kitüntetett közös osztója, akkor tetszőleges elem esetén érvényes az alábbi összefüggés:
♣
17.13. Tétel
Legyen egy tetszőleges integritástartomány. Ekkor ha valamely és elemeknek létezik az kitüntetett közös osztója, akkor tetszőleges elem esetén érvényes az alábbi összefüggés:
♣