正方形ABCD对角线AC与BD交于点O,点E是OA上一点,CH垂直BE于H,CH交BD于F,求证:EF平行于AB