在正方体ABCD-A1B1C1D1中E,F分别为DD1,DB的中点,求证EF平行于ABC1D1