Geometry Problem 947: Triangle, Circle, Circumcircle, Angle Bisector, Chord, Arc, Parallel. Level: High School, College, Mathematics Education

The figure below shows a triangle ABC with the circumcircle O. BE is the bisector of angle ABC (E on arc AC). AD meets circle O at F. EF meets BC at G. Prove that DG is parallel to AC.