AB concurentă cu CD →
<COA congruent cu <BOD (unghiuri opuse la vârf)
Comparăm ∆COA cu ∆DOB:
OC congruent cu OD
OA congruent cu OB
<COA congruent cu <BOD
↓ (din toate trei)
∆COA congruent cu ∆DOB
↓
<ACO congruent cu <ODB
<ACO si <ODB sunt alterne interne
↓ (din amândouă)
AC||BD
Coroniță? (｡･ω･｡)
