Daca C, O si D sunt puncte coliniare, atunci ∡AOD≡∡BOC
Daca ∡AOD≡∡BOC, atunci C, O si D sunt puncte coliniare
C, O si D sunt puncte coliniare daca si numai daca ∡AOD≡∡BOC
Aceste propozitii compuse sunt teoreme deoarece daca (OA si (OB sunt semiderepte opuse, inseamna ca A, O si B sunt puncte coliniare.
AB n CD = {O}, ∡AOD si∡BOC sunt opuse la varf, deci sunt congruente