Az $ABC$ háromszög beírt köre $k$. A $k_A$ kör $k$-t, az $AB$, illetve az $AC$ oldalt rendre az $A\text{'}$, $A_B$, illetve az $A_C$ pontban érinti. Hasonlóan definiáljuk a $k_B$ és $k_C$ köröket, továbbá a $B\text{'}$ és $C\text{'}$ pontokat. Az $A\text{'}B\text{'}{A}_B$ és $A\text{'}C\text{'}{A}_C$ körök $A\text{'}$-től különböző metszéspontja $K$. Az $A\text{'}K$ egyenes és $k$ $A\text{'}$-től különböző metszéspontja $R$. Igazoljuk, hogy $R$ a $k_B$ és a $k_C$ körök hatványvonalán van.