如图,正方形ABCD的对角线AC与BD相交于点O,点E是OA上一点,CH ⊥BE与H,CH交BD与F,求证:EF//AB