Siguin P i Q dos punts inversos respecte la circumferència circumscrita a ABC; PA, PB, PC els simètrics de P respecte els costats d'ABC. Les rectes QPA, QPB, QPC tallen BC, CA, AB en A', B', C'. Els punts A', B', C' estan alineats en una recta que passa per l'ortopol X de PQ.