Az $a$ és $b$ körök az egymástól különböző $P$ és $Q$ pontokban metszik egymást, és legyen az $A_0$ pont az $a$ körön. Definiáljuk sorra a $B_0$, $A_1$, $B_1$, $A_2$ stb. pontokat úgy, hogy $B_i$ az $A_{i}P$ egyenes és $b$ metszéspontja, majd $A_{i+1}$ a $B_{i}Q$ egyenes és $a$ metszéspontja. (Ha $A_i=P$, akkor $A_{i}P$ egyenes alatt az $a$ kör $P$-beli érintőjét értjük, illetve $B_i=Q$ esetén $B_{i}Q$ egyenes a $b$ kör $Q$-beli érintője.) Mutassuk meg, hogy ha van olyan $A_n$ ($n\ge 2$), amelyre $A_0$ és $A_n$ egybeesik, akkor ez az $a$ kör bármely $A_0$ pontjára teljesül.