Dots izliekts četrstūris \(ABCD\), kuram \(AB=BC=CD\). Četrstūra diagonāles krustojas punktā \(E\). Pierādīt, ka leņķu \(BAD\) un \(ADC\) bisektrišu krustpunkts atrodas uz trijstūrim \(ADE\) apvilktās riņķa līnijas.