A (straight line) "commensurable (in length) > A (straight line) commensurable (in length) with an apotome of a medial (straight line) is an apotome of a medial (straight line), and (is) the same in order1.
(not yet contributed)
Proofs: 1
Proofs: 1
Euclid's expression "(not) being the same in order" means that the resulting irrational number is "(not) of the same kind" as that irrational number, with which it is commensurable. ↩