AB║DC (stim din ipoteza)
AB=AC
AC=CD
Din AB=AC so AC=CD rezulta ca AB si CD sunt egale.
AB si CD sunt si paralele, de unde rezulta ca ABCD paralelogram, si dupa cum probabil stii, in paralelogram laturile opuse sunt congruente si paralele, deci rezulta ca AD║BC,AD=BC