Sea A' la intersección de las simétricas de la A-altura en la B-bisectriz y en la C-bisectriz. Definimos análogamente B', C'. Las rectas AA', BB', CC' concurren en X(84).