b) Chứng minh rằng (ACC'A') (BDD'B').
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').