Sean P, Q dos puntos. La simétrica de BP respecto de BQ y la simétrica de CP respecto de CQ se cortan en A'. Definimos análogamente B', C'. Las circunferencias {A'BC}, {B'CA}, {C'AB} concurren en un punto.