a) Vì AA' // CC' và AA' = CC' (do chúng cùng song song và bằng BB') nên AA'C'C là hình bình hành, suy ra AC // A'C' do đó A'C' // (D'AC).

Vì AB // C'D' và AB = C'D' (do chúng cùng song song và bằng CD) nên ABC'D' là hình bình hành suy ra BC' // AD', do đó BC' // (D'AC).

Vì A'C' // (D'AC) và BC' // (D'AC) nên (BC'A') // (D'AC).

Vì ABCD là hình vuông nên AC ^ BD.

Vì BB' ^ (ABCD) nên BB' ^ AC mà AC ^ BD nên AC ^ (BB'D), suy ra AC ^ DB'.

Vì AC // A'C' mà AC ^ DB' nên A'C' ^ DB'.

Do AD ^ (ABB'A') nên AD ^ A'B.

Vì ABB'A' là hình vuông nên AB' ^ A'B mà AD ^ A'B nên A'B ^ (ADB').

Suy ra A'B ^ DB'.

Có A'C' ^ DB' và A'B ^ DB' nên DB' ^ (BC'A').

Vì A'D' // BC và A'D' = BC (do chúng cùng song song và bằng AD) nên A'D'CB là hình bình hành, suy ra A'B // D'C mà A'B ^ DB' nên D'C ^ DB'.

Có AC ^ DB' và D'C ^ DB' nên DB' ^ (D'AC).