Az $EF$ átmérőjű $k$ kört az $e$ egyenes az $E$ pontban érinti. Tekintsük az $e$ egyenes összes olyan $A$, $B$ pontpárját, melyre az $AB$ szakasz az $E$ pontot tartalmazza és $AE\cdot EB$ egy rögzített állandó. Egy ilyen pontpár esetén legyen $A\text{'}$, illetve $B\text{'}$ a $k$ kör metszéspontja az $AF$, illetve $BF$ szakasszal. Igazoljuk, hogy az $A\text{'}B\text{'}$ szakaszok egy ponton mennek keresztül.