$\triangle ABC$의 변 $BC$ 위의 점 $D$에 대하여, $\triangle ABD$의 내심과 $\triangle ABC$의 외심이 점 $O$에서 일치한다고 하자. $\triangle AOC$의 외접원을 $O’$이라고 하고, 점 $O’$의 두 점 $A$와 $C$에서의 두 접선의 교점을 $P$, 선분 $AD$와 $CO$의 교점을 $Q$라고 하자. 원 $O’$의 점 $O$에서의 접선과 직선 $PQ$가 점 $X$에서 만날때, $\overline{XO}=\overline{XD}$임을 보여라. 단, $\angle B<45^\circ$이다.