正方形ABCD中,EF分别为AB延长线上两点,BE=AB,BF=BD,DF交CE于G,求证CG=BC