Adott az $O$ középpontú $k$ kör és rajta a különböző $A$, $B$, $C$, $D$ rögzített pontok. A $k\text{'}$ kör $k$-t merőlegesen metszi $A$-ban és $B$-ben. Vegyünk fel az $OA$ egyenesen egy $X$ változó pontot. Legyen $U$ az $ACX$ és a $k\text{'}$ körök $A$-tól különböző metszéspontja, $V$ az $ADX$ és a $k\text{'}$ körök $A$-tól különböző metszéspontja, $W$ a $BDU$ kör és az $OB$ egyenes $B$-től különböző metszéspontja, végül legyen $E$ a $BVW$ és a $k$ körök $B$-től különböző metszéspontja. Igazoljuk, hogy az $E$ pont helyzete nem függ az $X$ pont megválasztásától.