Proposition I-15. If two straight lines cut one another, they make the vertical angles equal to one another.
Proof.
LoopStep ForwardStep BackwardStop Loop