Ta có \(B{E_1}D{G_1}\) là hình chữ nhật nên \(DE_1//BG_1\) hay \(AD//BC\).
Xét tứ giác \(ABCD\) có \(AD//BC\) (chứng minh trên) và \(AD=BC\) (gt) nên \(ABCD\) là hình bình hành.
Hình \(DABC.HFEI\) nhận được là một lăng trụ đứng có đáy \(ABCD\) là một hình bình hành, các mặt bên là hình chữ nhật.
