Theo định lí 2 ta có: Chỉ có một và một mặt phẳng qua A' // (P). Tương tự với các điểm B', C', D'.
Mà đề bài cho A', B', C', D' đồng phẳng
Suy ra mặt phẳng chứa A', B', C', D' song song với (P)
Do đó: A'D' // AD, B'C' // BC, AD // BC
Suy ra: A'D' // B'C' (1)
Tương tự ta có: A'B' // C'D' (2)
(1)(2) suy ra A'B'C'D' là hình bình hành.