如图,正方体ABCD-A1B1C1D1中,AE=A1E1,AF=A1F1.求证:EF∥E1F1且EF=E1F1