Proposition I-2. To place at a given point a straight line equal to a given straight line.
Proof.
LoopStep ForwardStep BackwardStop Loop