If from a rational straight line there be subtracted a rational straight line commensurable with the whole in square only, the remainder is irrational; and let it be called apotome.
Proof
a−b with a, b commensurable in square only is the negation
of the binomial case (X.36); the same argument shows it is
irrational.