a_23 个线段 formula_21 连接起来，成为一个线段，全等于线段 formula_2 ；这里，formula_20 与 formula_23 是整数。那么，两个线段 formula_1 与 formula_2 是互相可通约的。欧几里得并没有用到实数的概念。他用到了线段与线段之间，全等，比较长，或比较短，这些概念。
数学.设定实数 formula_1 与 formula_2 。那么，实数 formula_21 ，整数 formula_20 与 formula_23 的存在，