Niech A i B będą punktami przecięcia dwóch okręgów, C i D - punktami wspólnymi tych okręgów i prostej przechodzącej przez punkt A, a punkt E - punktem przecięcia prostych stycznych do okręgów przechodzących przez punkty C i D. Poprowadźmy jeszcze cięciwę AB.

Przyjmijmy oznaczenia:

$\sphericalangle ABC=\alpha ,\sphericalangle ABD=\beta .$  

Wykonajmy rysunek pomocniczy.