B C [AD] [AE] (ipotez) BAD CAE (opuse la vrf) => BDA CEA. Cazul I (L.U.L.). De aici mai rezult congruena elementelor: [BD] [CE], ADB AEC , DBA ECA. b) [BE] [CD] (sum de segmente congruente) CDB BEC (din a)) [BC] (latur comun) => BEC CDB. Cazul I (L.U.L.). De aici mai rezult congruena elementelor: DBC ECB, EBC DCB.
2. Ipotez [AB] [AC] [BE] [CD] CD BE = A Concluzie a ) BDA CEA b) BEC CDB
Demonstraie a) [AB] [AC] (ipotez)
[AD] [AE] (diferen de segmente congruente) BAD CAE (opuse la vrf) => BDA CEA. Cazul I (L.U.L.). De aici mai rezult congruena elementelor: [BD] [CE], BDA CEA , DBA ECA.
=> BEC
b) [BE] [CD] (ipotez)
[CE] [BD] (din a)) [BC] (latur comun) CDB. Cazul I (L.L.L.)