The figure shows a square ABCD. Arc BD with center at A and AC intersect at F. The extension of DF meets BC at G. Prove that BG = 2.EF. .