Legyenek $R$ és $S$ különböző pontok egy $\Omega$ körön, amikre $RS$ nem átmérője a körnek. Legyen $\ell$ az $\Omega$ körhöz a $R$ pontban húzott érintőegyenes. Legyen $T$ az a pont, amire teljesül az, hogy $S$ az $RT$ szakasz felezőpontja. Legyen $J$ egy olyan pont az $\Omega$ kör rövidebb $RS$ ívén, amire teljesül az, hogy a $JST$ háromszög $\Gamma$ körülírt köre az $\ell$ egyenest két különböző pontban metszi. Legyen $\Gamma$ és $\ell$ metszéspontjai közül az $A$ pont az, ami közelebb van az $R$-hez. Az $AJ$ egyenes $\Omega$-val vett második metszéspontja legyen $K$. Bizonyítsuk be, hogy a $KT$ egyenes érintője a $\Gamma$ körnek.