欧几里得（Euclid，约公元前330—约公元前275）的《几何原本》卷7中有命题1和2。原文是：
命题1 设有不相等的二数，若依次从大数中不断减去小数，若余数总是量不尽它前面一个数，直到最后的余数为一个单位，则该二数互素。
命题2 已知两个不互素的数，求它们的最大公度数。
后世学者据此加工成算法形式，世称欧几里得原始辗转相除法，以整除终止除法。
