Neka je $ABC$ šiljastokutni trokut s opisanom kružnicom $\omega$. Neka je $T$ točka na luku $BC$ na $\omega$. Tangenta na $\omega$ u $T$ siječe pravce kroz $B$ i $C$, okomite na $BC$, u točkama $P_B$ i $P_C$. Pravac kroz $P_B$, okomit na $AC$, i pravac kroz $P_C$, okomit na $AB$, sijeku se u $Q$. Ako $Q$ leži na $BC$, tada dokaži da $Q$ leži na $AT$.