经过正方形ABCD-A1B1C1D1的棱BB1做一平面交面AA1D1D于EF,求证:EF//BB1