Sea $ABC$ un triángulo tal que $\angle C=2\angle B$ y $\omega$ su circuncírculo. Una tangente desde $A$ a $\omega$ interseca a $BC$ en $E$. $\Omega$ es un círculo que pasa por $B$ que es tangente a $AC$ en $C$. Sea $\Omega\cap AB=F$. $K$ es un punto en $\Omega$ tal que $EK$ es tangente a $\Omega$ ($A,K$ no están en el mismo lado de $BC$). Sea $M$ el punto medio del arco $BC$ de $\omega$ (que no contiene a $A$). Pruebe que $AFMK$ es un cuadrilátero cíclico.