A (straight line) commensurable in length with an apotome is an apotome, and (is) the same in order.
(not yet contributed)
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. ↩