b) Chứng minh rằng (ACC'A')  (BDD'B').

b) Vì AA' ^ (ABCD) nên AA' ^ BD.

Vì ABCD là hình vuông nên AC ^ BD mà AA' ^ BD, suy ra BD ^ (ACC'A').

Vì BD ^ (ACC'A') nên (ACC'A') ^ (BDD'B').