Sean P un punto de la polar trilineal del producto ceviano del simediano K por el punto X(24), A'B'C' su triángulo circunceviano, H el ortocentro. La recta A'H corta a la circunferencia circunscrita en A1, A2 (A1 el más próximo a H). Definimos análogamente B1, B2, C1, C2. Las rectas AA2, BB2, CC2 son concurrentes.