Proposition I-3. Given two unequal straight lines, to cut off from the greater a straight line equal to the less.
Proof.
LoopStep ForwardStep BackwardStop Loop

Given the two unequal segments AB and C, with AB the larger segment and C the smaller segment.

Construct a segment at A which has the length of C.