Seja $E$ um ponto externo a uma circunferência. Os segmentos $\overline{EA}$ e $\overline{ED}$ interceptam essa circunferência nos pontos $B$ e $A$, e, $C$ e $D$, respectivamente. A corda $\overline{AF}$ da circunferência intercepta o segmento $\overline{ED}$ no ponto $G$: Se $EB=5$, $BA=7$, $EC=4$, $GD=3$ e $AG=6$, então $GF$ vale