Se elige un punto $D$ dentro de un triángulo acutangulo $ABC$ con $AB > AC$, de manera que $\angle BAD = \angle DAC$. Se construye un punto $E$ en el segmento $AC$ tal que $\angle ADE = \angle DCB$. De manera similar, se construye un punto $F$ en el segmento $AB$ tal que $\angle ADF = \angle DBC$. Se elige un punto $X$ en la línea $AC$ tal que $CX = BX$. Sean $O_1$ y $O_2$ los circuncentros de los triángulos $ADC$ y $DXE$. Demuestra que las rectas $BC$, $EF$ y $O_1O_2$ son concurrentes.