I.3 Proposition I.3
Given two unequal straight lines, to cut off from the greater a straight line equal to the less.
Proof
Use I.2 to construct, at one extremity of the longer line, a segment
equal to the shorter. Then by Definition I.15 the desired cut-off is
obtained.
lines 74–74 in main.tex