Las simétricas respecto de los lados de la recta que une el ortocentro H y el punto X(125) concurren en un punto de la circunferencia circunscrita.