If you experiment with the interactive diagram and move the point C, you will soon be convinced that the chord EF is always the same length but this has to be proved. The hint here is that the theorem about the angle subtended by a chord of a circle is used three times and also a theorem about the exterior angle of a triangle. Join AF? If your conjecture is true what do you need to prove about the angle EAF?