rmula_20 与 formula_23 是整数。那么，两个线段 formula_1 与 formula_2 是互相可通约的。欧几里得并没有用到实数的概念。他用到了线段与线段之间，全等，比较长，或比较短，这些概念。
数学.设定实数formula_1 与 formula_2 。那么，实数 formula_21 ，整数 formula_20 与 formula_23 的存在，促使的充分必要条件是除商 formula_3 为有理数。假设 formula_1 与 formula