空间立体几何的题!如图,EF分别是正方体ABCD-A1B1C1D1的棱AA1和棱CC1上的点,且AE=C1F.求证:四边