Теорема о касательной и секущей

Теорема 2 (о касательной и секущей). Если из одной точки проведены к окружности касательная и секущая, то произведение всей секущей на её внешнюю часть равно квадрату касательной.