Secant-Secant Product Theorem
If two secant segments are drawn to a circle from an exterior point, then the product of the measures of one secant segment and its external secant segment is equal to the product of the measures of the other secant segment and its external secant segment.
In this diagram, note that BF*CF = DF*EF - regardless of where your move the points on the circle.