Proposition I-11. To draw a straight line at right angles to a give straight line from a given
Proof.
LoopStep ForwardStep BackwardStop Loop