The figure shows the intersecting
circles O and O', the common chord AB and the secant CAD. CE and
DE are tangent to circles O and O' at C and D, respectively.
Prove that the measure of angle ABE is equal the difference of
measure of angles EDC and ECD.
