To find two rational straight lines commensurable in square only such that the square on the greater is greater than the square on the less by the square on a straight line commensurable in length with the greater.
Proof
Take a rational line a and apply X.17 with a deficient square; the
construction gives the required pair.