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.