Two different tangents drawn from an external point to the circle have equal length.