Sea P un punto. Las bisectrices de los ángulos BPC, CPA, APB cortan BC, CA, AB, en A', B', C'. Entonces AA', BB', CC' concurren en un punto Q. Cuando P = O es Q = G.