U jednakokračnom trokutu ABCABC s krakovima AB\overline{AB} i AC\overline{AC}, DD je polovište osnovice BC\overline{BC}. Neka je točka EE nožište okomice iz DD na stranicu AB\overline{AB}, te FF polovište dužine DE\overline{DE}. Dokaži da je AFAF okomito na ECEC.