Theorem 5.11: Vertical angles are the same size.

Proof: In the figure

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

next theorem (5.12)