El primer punt de mig arc M del triangle ABC és l'incentre del triangle de contacte interior DEF.