Sea P un punto. La perpendicular por B a CP y la perpendicular por C a BP se cortan en A*. Definimos análogamente B*, C*. Las circunferencias {A*BC}, {B*CA}, {C*AB} se cortan en el antigonal P/ de P.