To find two rational straight lines commensurable in square only and such that the square on the greater is greater is greater than the square on the less by the square on a straight line incommensurable in length with the greater.

Let there be set out a rational straight line AB, and two square numbers CE, ED such that their sum CD is not square; [Lemma 2]