Los círculos $C(O_1)$ y $C(O_2)$ se intersecan en los puntos $A$, $B$. $CD$ que pasa por el punto $O_1$ interseca a $C(O_1)$ en el punto $D$ y es tangente a $C(O_2)$ en el punto $C$. $AC$ es tangente a $C(O_1)$ en $A$. Dibuje $AE \bot CD$, y $AE$ interseca a $C(O_1)$ en $E$. Dibuje $AF \bot DE$, y $AF$ interseca a $DE$ en $F$. Demuestre que $BD$ biseca a $AF$.