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)