Adott a síkon a $v$ egyenes és a $v$-re nem illeszkedő $F$ pont. Legyenek $E_1$, $E_2$ és $E_3$ a sík olyan pontjai, melyek ugyanolyan távolságra vannak $F$-től, mint $v$-től. Az $E_i$-ből $v$-re állított merőleges szakasz és az $F{E}_i$ szakasz által közbezárt szög szögfelező egyenesét jelölje $e_i$. Mutassuk meg, hogy az $e_1$, $e_2$, $e_3$ egyenesek által meghatározott háromszög köré írt kör átmegy $F$-en.