Considera el triángulo $ABC$ tal que $AB \le AC$. El punto $D$ en el arco $BC$ del circuncírculo de $ABC$ que no contiene al punto $A$ y el punto $E$ en el lado $BC$ son tales que $\angle BAD = \angle CAE < \frac12 \angle BAC$. Sea $S$ el punto medio del segmento $AD$. Si $\angle ADE = \angle ABC - \angle ACB$ demuestra que $\angle BSC = 2 \angle BAC$.