By the secant-tangent theorem, the square of this tangent length equals the power of the point P in the circle "C".
По теореме о степени точки квадрат длины отрезка до точки касания равен степени точки P относительно окружности "C".