En una semicircunferencia con diámetro $AB$ y centro $S$ , se dan los puntos $C$ y $D$ tales que el punto $C$ pertenece al arco $AD$ . Suponga que $\angle CSD = 120^\circ$ . Sea $E$ el punto de intersección de las líneas rectas $AC$ y $BD$ y $F$ el punto de intersección de las líneas rectas $AD$ y $BC$ . Demuestra que $EF=\sqrt{3}AB$ .