Since are the internal, and external bisectors of (respectively), it means that, and, since is cut by in three points one of which is the midpoint of the segment formed by the other two, it means that must be parallel to the harmonic conjugate of wrt, which is, according to, so we have proven .
Sapagkat / simula ng ay ang mga panloob, at ang panlabas na bisectors ng (ayon sa pagkakabanggit), ito ay nangangahulugan na ang, At, dahil ay hiwa sa pamamagitan ng sa tatlong puntos na isa sa kung saan ay ang midpoint ng segment na binuo ng iba pang mga dalawa, ito ay nangangahulugan na ang dapat Kahambing sa mga maharmonya kondyugeyt ng wrt, Na kung saan ay, Ayon sa, Kaya kami ay napatunayan na .