Now, the concurrence of the lines,, becomes a well-known fact (in fact, these lines concur at the symmedian point of triangle ABC); the simplest proof of this fact uses the Ceva theorem: Since the two tangents from a point to a circle are equal in length, we have, and, so that
Ngayon, ang mga kasunduan ng mga linya,, nagiging isang kilalang katotohanan (sa katunayan, ang mga linyang ito sumang-ayon sa symmedian punto ng tatsulok ABC); ang pinakasimpleng patunay ng katotohanan na ito ay gumagamit ng Ceva teorama: Dahil ang dalawang tangents mula sa isang punto sa isang bilog ay pantay-pantay ang haba, kami ay may, at, Kaya na