Mặt phẳng (SAD) chứa đường thẳng AD song song với mp(P) nên mặt phẳng (P) cắt (SAD) theo giao tuyến song song với AD. Vẽ EG // AD (G thuộc SD) thì EG là giao tuyến của (P) và (SAD).
Mặt phẳng (SAB) chứa đường thẳng AB song song với mp(P) nên mặt phẳng (P) cắt (SAB) theo giao tuyến song song với AB. Vẽ EF // AB (F thuộc SB) thì EF là giao tuyến của (P) và (SAB).
Ta có AB // CD, EF // AB suy ra CD // EF hay CD // mp(P)
Mặt phẳng (SCD) chứa đường thẳng CD song song với mp(P) nên mặt phẳng (P) cắt (SCD) theo giao tuyến song song với CD. Vẽ GH // CD (H thuộc SC) thì GH là giao tuyến của (P) và (SCD).
FH thuộc (P), FH thuộc (SBC) suy ra FH là giao tuyến của (P) và (SBC).
Tứ giác EFGH có EF // GH (vì cùng song song với CD) suy ra EFGH là hình thang.