Proposition I-10. To bisect a given finite straight line.
Proof.
LoopStep ForwardStep BackwardStop Loop