예를 들어, 알려진 AB=AC, DB=DC, 시험 지침 ABD=☞ACD.

예를 들어, 알려진 AB=AC, DB=DC, 시험 지침 ABD=☞ACD.

증명: AB=AC, ABBC=ACB.BD=CD.DBC=YDCB.ABC-YDBC=ACB-BCB-BCB. 즉, ABD="ACD".