求证:平面A1EF⊥平面B1BCC1.
证明:已知A1E⊥B1B于E,A1F⊥C1C于F,
∵B1B∥C1C,∴B1B⊥A1F.
又A1E∩A1F=A1,
∴B1B⊥平面A1EF.
∴平面A1EF⊥平面B1BCC1.