几里得的辗转相除法计算的是两个自然数"a"和"b"的最大公约数"g"，意思是能够同时整除"a"和"b"的自然数中最大的一个。两个数的最大公约数通常写成GCD("a", "b")，或者简写成("a", "b")，但是第二种写法也被使用在其他数学概念，如二维向量的坐标。如果GCD("a", "b") = 1，则称"a"和"b"互素。"a"和"b"是否互素和它们是否素数无关。如，6和35都不是素数，因为它们都可以分解为多于一个素因数的乘积：6 = 2 × 3，35 = 5 × 7。但是，6和35互素，因为除了