Si una recta r pasa por el ortocentro H, las rectas simétricas de r respecto de los lados concurren en un punto de la circunferencia circunscrita.