If two secant segments share the same endpoint
outside a circle, then the product of the length of one secant segment and the
length of its external segment equals the product of the length of the other
secant segment and the length of its external segment.
