Proposition I-13. If a straight line set up on a straight line make angles, it will make either two right angles or angles equal to two right angles.
Proof.
LoopStep ForwardStep BackwardStop Loop