Proposition I-23. On a given straight line and at a point on it to construct a rectilineal angle equal to a given rectilineal angle.
Proof.

LoopStep ForwardStep BackwardStop Loop