Si A' es la proyección del incentro I sobre el lado BC, las circunferencias inscritas en ABA' y en ACA' son tangentes.