engNow, since AD is a third binomial straight line, therefore AE, ED are rational straight lines commensurable in square only, the square on AE is greater than the square on ED by the square on a straight line commensurable with AE, and neither of the terms AE, ED is commensurable in length with AB. [X. Deff. II. 3]