Demostrar que, en cualquier triángulo, el punto simétrico del ortocentro respecto a un lado es un punto del circuncírculo.
