The rectangle contained by rational straight lines commensurable in length is rational.

For let the rectangle AC be contained by the rational straight lines AB, BC commensurable in length; I say that AC is rational.

For on AB let the square AD be described; therefore AD is rational. [X. Def. 4]