Proposition I-9. To bisect a given rectilinear angle.
Proof.
LoopStep ForwardStep BackwardStop Loop