在正方体中,ABCD-A'B'C'D'中,点F是AD的中点,求证:平面AA1C1C垂直平面A1EF