Свойство отрезков касательных, проведенных из одной точки (формулировка и доказательство)