如图,正方形ABCD对角线BD,AC交于O,E是OC上一点,AG⊥DE交BD于F,求证:EF∥DC