If two secants are drawn to a circle from an external point, then the product of the length of one secant segment and its external segment equals the product of the length of the other secant segment ...