正方体ABCD--A1B1C1D1中,E、F分别是对角线A1B、B1C中点,求证:EF平行面ABCD