Sean A'B'C' el triángulo ceviano y A"B"C" el triángulo circunceviano del circuncentro O. La circunferencia de centro A' que pasa por A" y la circunferencia de centro A" tangente a BC se cortan en dos puntos. Hagamos lo mismo con B'/B" y con C'/C". Los seis puntos obtenidos están en una circunferencia con centro O.