CA DA (ipotez) < CAO < DAO (ipotez) => AOC AOD. Cazul I (L.U.L.) b) BA BA (latur comun) CA DA (din ipotez) < CAO < DAO (ipotez) => ACB ADB. Cazul I (L.U.L.) c) BO BO (latur comun) CB DB (din b)) OC OD (din a)) => BOC BOD. Cazul III (L.L.L.)
2. Ipotez C
BC BD
CBO DBO
O A
Concluzie
a) ACO ADO
b) ACB ADB c) BOC BOD
Demonstraie c) BO BO (latur comun)
BC BD (ipotez) < CBO < DBO (ipotez) => BOC BOD. Cazul I (L.U.L.) b) BA BA (latur comun) CB DB (din c)) < CBO < DBO (ipotez) => ACB ADB. Cazul I (L.U.L.) c) AO AO (latur comun) CA DA (din b)) OC OD (din c)) => BOC BOD. Cazul III (L.L.L.)