Sean $AD, BE$ , y $CF$ las alturas del triángulo $\vartriangle ABC$ . Los puntos $E'$ y $F'$ son las reflexiones de $E$ y $F$ sobre $AD$ , respectivamente. Las líneas $BF'$ y $CE'$ se intersecan en $X$ , mientras que las líneas $BE'$ y $CF'$ se intersecan en el punto $Y$ . Pruebe que si $H$ es el ortocentro de $\vartriangle ABC$ , entonces las líneas $AX, YH$ , y $BC$ son concurrentes.