Sean P un punto, A', B', C' sus proyecciones sobre las bisectrices. El triángulo A'B'C' y el triángulo de contacto interior DEF son paralelógicos, con centros de paralelología el punto P y un punto de la circunferencia inscrita.