Since the angle bisector of an angle of a triangle divides the opposite side in the ratio of the adjacent sides, we have . Similarly, the point N' is the point of intersection of the angle bisector of the angle B'AD' with the line B'D', and we conclude that . Finally, since the point K' is the harmonic conjugate of the point A with respect to the segment C'D', we have . Thus,
Dahil ang mga anggulo panggitnang guhit ng isang anggulo ng isang tatsulok divides ang kabaligtaran side sa ratio ng katabi panig, mayroon kaming . Katulad nito, ang point N 'ay ang punto ng intersection ng anggulo panggitnang guhit ng anggulo B'AD' sa linya B'D ', at tapusin namin na . Panghuli, dahil ang punto ng K 'ay ang maharmonya kondyugeyt ng isang point na may paggalang sa segment na C'D', mayroon kaming . Sa gayon,