Triunghiul ADC este isoscel deoarece are unghiurile congruente ADC si ACD.
AÁ' si CD fiind paralele... rezulta ca unghiurile A'ÁC si ACD sunt congruente(alterne interne .... secanta AC). Analog, unghiurile BAA' si ADC sunt congrunte(corespondente ....secanta BD ). Cum [ AA' bisectoare ....rezulta.... unghiurile BAA' si A'AC sunt congrente. Prin tranzitivitate....rezulta concluzia...