Episode I

Alice és Bob

. rész: 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:

(a,b)=(b, a-kb)