Una recta L corta los lados de ABC en A1, B1 y C1. Sea D un punto de la circunferencia circunscrita a ABC. Las rectas DA1, DB1 y DC1 vuelven a cortar la circunferencia en A2, B2 y C2. Entonces AA2, BB2 y CC2 concurren en un punto de L.