Dots izliekts četrstūris \(ABCD\), kuram \(AB=BC=CD\). Četrstūra diagonāles krustojas punktā \(E\), bet leņķu \(BAD\) un \(ADC\) bisektrises krustojas punktā \(F\). Pierādīt, ka \(\sphericalangle EAF = \sphericalangle EDF\).