Sea P un punto de la circunferencia circunscrita al triángulo antimedial. Sea A'B'C' el triángulo ceviano de P. Entonces las mediatrices de AA', BB' y CC' concurren.