세 변이 $a_1$, $a_2$, $a_3$인 이등변이 아닌 삼각형 $A_1A_2A_3$이 주어져 있다($a_i$는 $A_i$와 마주보는 변). 각각의 $i=1,2,3$에 대해, $a_i$의 중점을 $M_i$라 하고, 내접원이 $a_i$와 접하는 점을 $T_i$라 하자. 또, 각 $A_i$의 이등분선에 대해 $T_i$를 대칭시킨 점을 $S_i$라 하자. 세 직선 $M_1S_1$, $M_2S_2$, $M_3S_3$이 한 점에서 만남을 증명하여라.