Az euklidészi algoritmus alapgondolata

Legyen R egy tetszőleges integritástartomány. Ekkor ha valamely a és b elemeknek létezik az (a,b) kitüntetett közös osztója, akkor tetszőleges k elem esetén érvényes az alábbi összefüggés: