Az $ABCD$ húrnégyszög köré írt kör középpontja $O$. Az $ABO$ és $CDO$ körök $O$-tól különböző metszéspontja a $P$ pont, ami a $DAO$ háromszög belsejébe esik. Válasszuk ki az $OP$ szakasz $P$-n túli meghosszabbításán a $Q$, az $OP$ szakasz $O$-n túli meghosszabbításán pedig az $R$ pontot. Bizonyítsuk be, hogy $QAP\sphericalangle =OBR\sphericalangle$ akkor és csak akkor teljesül, ha $PDQ\sphericalangle =RCO\sphericalangle$.