Tangent segment theorem

join shbcf.ru