A $k$ kör $AB$ átmérője merőleges az $\ell$ egyenesre, amely nem megy át sem az $A$-n, sem a $B$-n. Az $\ell$ egy $k$-n kívüli pontja legyen $C$ és jelölje $D$ az $AC$ egyenes és a kör másik metszéspontját. Húzzuk meg az egyik érintőt $C$-ből $k$-hoz; az érintési pontot jelöljük $E$-vel. A $BE$ és $\ell$ egyenesek metszéspontja legyen $F$, végül az $AF$ szakasz és $k$ metszéspontja legyen $G$. Mutassuk meg, hogy a $DF$ egyenes átmegy a $G$ pont $AB$-re való tükörképén.