Sean P un punto de la recta de Euler, A”B”C” el triángulo circunceviano de P en la circunferencia de los nueve puntos cn. Las circunferencias con diámetros HA”, HB”, HC” (siendo H el ortocentro) cortan a cn en A1, B1, C1. Las rectas AA1, BB1, CC1 son concurrentes.