Theorem 5.11: Vertical angles are the same size.

Proof: In the figure

we have indicated that / AEB is the same size as / CED. This is because they are both supplementary to / BEC.

next theorem (5.12)