Vì ABCD là hình bình hành nên AB // CD.

Vì ABEF là hình bình hành nên AB // EF.

Do đó, các đường thẳng AB, CD, EF đôi một song song với nhau.

Hai mặt phẳng (ADF) và (BCE) song song với nhau (xem SGK, Bài 14, Ví dụ 1).

Do đó ADF.BCE là hình lăng trụ tam giác.