Mai intai demonstram ca cele doua triunghiuri sunt congruente :
triunghiul TAB { TA = AS (din ipoteza)
triunghiul SAC AB = AC (din ipoteza )
mTAB = mSAC ( unghiuri opuse la varf ) } ==>
rezulta din L.L.U ca triunghiul TAB congruent cu triunghiul SAC ==>
TB = SC