Az $A$ és $B$ egységnyi távolságra lévő pontok köré írt $k_A$ és $k_B$ egységkörök a $C$ és $D$ pontokban metszik egymást. Legyen a $C$ középpontú, $D$-re illeszkedő körvonal $k_C$. Az $AC$ egyenes és a $k_C$ kör $A$-tól távolabbi metszéspontja $F$; a $k_A$ kör és a $DF$ egyenes második metszéspontja pedig $G$. Mutassuk meg, hogy $GAD\sphericalangle ={90}^{\circ }$.