Sean P, Q dos puntos isogonales; Pa, Pb, Pc los ortocentros de PBC, PCA, PAB; Qa, Qb, Qc los ortocentros de QBC, QCA, QAB. Las circunferencias {PaQbQc}, {PbQcQa}, {PcQaQb} son concurrentes.