Az $O_1$, illetve $O_2$ középpontú $k_1$ és $k_2$ körök a $P$ és $Q$ pontokban merőlegesen metszik egymást. A külső hasonlósági pontjuk $H$. A $t$ egyenes a $k_1$ kört a $T_1$, a $k_2$ kört a $T_2$ pontban érinti. Legyen $X$ olyan pont a két kör belsejében, amire $HX=HP=HQ$, és legyen $X\text{'}$ az $X$ tükörképe a $t$ egyenesre. Legyen $U_1$ az $XX\text{'}{T}_2$ kör és a $k_1$ kör rövidebbik $PQ$ ívének metszéspontja, továbbá legyen $U_2$ az $XX\text{'}{T}_1$ kör és a $k_2$ kör rövidebbik $PQ$ ívének metszéspontja. Végül legyen $V$ az $O_1{U}_1$ és $O_2{U}_2$ egyenesek metszéspontja. Mutassuk meg, hogy $V{U}_1=V{U}_2$.