This is an example of the secant-secant theorem. A secant line is a line that intersects two points on a curve or circle. If two secants intersect to form an angle outside of a circle, the measure of that angle is equal to half the difference of the measures of the enclosed arcs.
