Sean A', B', C' las trazas cevianas de un punto P. La perpendicular por B' a AC corta AB en Ab; la perpendicular por C' a AB corta AC en Ac, y la perpendicular por A' a BC corta AbAc en A". Definimos análogamente B", C". Las rectas AA", BB", CC" son concurrentes.