점 $O$를 중심으로 하는 원 $\Gamma$ 위에 세 점 $A$, $B$, $C$가 있다. $\angle ABC>90^\circ$라고 가정하자. 점$C$에서 직선 $AC$와 수직으로 만나는 직선과 직선 $AB$와의 교점을 $D$라 하자. 직선 $AO$와 수직이고 $D$를 지나는 직선을 $\ell$이라 하자. 이 $\ell$과 직선 $AC$의 교점을 $E$라 하고, 원 $\Gamma$와 $\ell$의 교점 중 $D$와 $E$ 사이에 이있는 것을 $F$라 하자. 이때 삼각형 $BFE$의 외접원은 삼각형 $CFD$의 외접원과 $F$에서 접한다는 것을 증명하라.