Dany jest trójkąt \( ABC \), w którym \( |AC|>|BC| \). Na bokach \( AC \) i \( BC \) tego trójkąta obrano odpowiednio punkty \( D \) i \( E \), że zachodzi równość \( |CD|=|CE|\ \). Proste \( AB \) i \( DE \) przecinają się w punkcie \( F \) (zobacz rysunek).
Wykaż, że \( |\sphericalangle BAC|=|\sphericalangle ABC|-2\cdot |\sphericalangle AFD| \).