Legyen az $ABC$ háromszög körülírt körének középpontja $O$. Legyen $P$, illetve $Q$ a $CA$, illetve $AB$ oldal belső pontja. Legyenek $K$, $L$, illetve $M$ a $BP$, $CQ$, illetve $PQ$ szakaszok felezőpontjai, és legyen $\Gamma$ a $K$, $L$, $M$ pontokon áthaladó kör. Tegyük fel, hogy a $PQ$ egyenes érintője a $\Gamma$ körnek. Bizonyítsuk be, hogy $OP=OQ$.