Sean P, P* dos puntos isogonales. Sea ra el eje radical de las circunferencias de los 9 puntos de PBC y P*BC, y definimos análogamente rb, rc. Las rectas ra, rb, rc son concurrentes.