Un punt P es projecta en A', B', C' sobre les bisectrius interiors, i en A", B", C" sobre les bisectrius exteriors. Llavors les circumferències {A"B'C'}, {B"C'A'}, {C"A'B'} són concurrents en un punt de la circumferència circumscrita.