El punto X(155) del triángulo ABC es el ortocentro del triángulo tangencial.