U jednakokračnom trokutu $ABC$ ($|AB|$ = $|BC|$) simetrala kuta $\sphericalangle{CAB}$ sječe $BC$ u $D$. Na osnovici $AC$ označena je točka $E$ tako da je $|AE| = |DC|$. Simetrala kuta $\sphericalangle{AED}$ siječe stranicu $AB$ u točki $F$. Dokaži da je $\sphericalangle AFE = \sphericalangle DFE$.