Proposition I-14. If with any straight line, and at a point on it, two straight lines not lying on the same side make the adjacent angles equal to two right angles, the two straight lines will be in a straight line with one another.
Proof.
LoopStep ForwardStep BackwardStop Loop