Sigui X l'ortocentre del triangle tangencial. Existeix una circumferència centrada en X que talla les rectes dels costats en dos punts cada una que formen angles rectes amb el vèrtex oposat.