Euclid’s Elements, Book X, Proposition 20 (X.20)

“If a rational area be applied to a rational straight line, it produces as breadth a straight line rational and commensurable in length with the straight line to which it is applied.”