Una recta r que pasa por el circuncentro O corta las circunferencias {OBC}, {OCA}, {OAB} en X, Y, Z. Las rectas AX, BY, CZ concurren en el isogonal or* del ortopolo or de r.