Sea H el ortocentro. Las circunferencias inscritas en ABH, BCH, CAH son tangentes cada una a un lado de ABC en C’, A’, B’.  Las rectas AA’, BB’, CC’ concurren.