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?

See the article on Cyclic Quadrilaterals.