We will now demonstrate that the aforementioned irrational (straight lines) are uniquely divided into the straight lines of which they are the sum, and which produce the prescribed types, (after) setting forth the following lemma. * Let the straight line $AB$ be laid out, and let the whole (straight line) have been cut into unequal parts at each of the (points) $C$ and $D$. * And let $AC$ be assumed (to be) greater than $DB$. * I say that (the sum of) the (squares) on $AC$ and $CB$ is greater than (the sum of) the (squares) on $AD$ and $DB$.
(not yet contributed)