正方体ABCD-A'B'C'D'中,EF分别为,AA'和CC'的中点.求证,BF平行且等于ED'