Neka je ABCABC trokut takav da je ∣AB∣>∣AC∣|AB| > |AC|. Neka je tt tangenta na opisanu kružnicu trokuta ABCABC u točki AA. Kružnica sa središtem u točki AA koja prolazi točkom CC siječe stranicu AB‾\overline{AB} u točki DD, a pravac tt u točkama EE i FF tako da su CC i EE s iste strane pravca ABAB. Dokaži da središte upisane kružnice trokuta ABCABC leži na pravcu DEDE.