삼각형 $ABC$의 내접원이 변 $BC$와 만나는 점을 $D$라 하자. 삼각형 $ABD$, 삼각형 $ACD$의 내심을 각각 $J_b$, $J_c$라 하자. 이때 삼각형 $AJ_bJ_c$의 외심이 각 $BAC$의 이등분선 위에 있음을 보여라.