Sea $P$ un punto fuera de una circunferencia $\Gamma$, y sea $PA$ una de las tangentes desde $P$ a $\Gamma$. La línea $l$ pasa por $P$ e intersecta a $\Gamma$ en $B$ y $C$, con $B$ entre $P$ y $C$. Sea $D$ el simétrico de $B$ con respecto a $P$. Sean $\omega_1$ y $\omega_2$ los círculos circunscritos a los triángulos $DAC$ y $PAB$ respectivamente. $\omega_1$ y $\omega _2$ se intersectan en $E \neq A$. La línea $EB$ corta de nuevo a $\omega _1 $ en $F$. Demostrar que $CF = AB$.