Ta có:
*MQ//CD mà CD//AB (hbh)
⇒MQ//AB (1)
*NP // CD mà CD//AB (hbh)
⇒NP//AB (2)
Từ (1) và (2) ta suy ra
AB//mp(MNPQ) (3)

Mặt khác ta có
MN // SB (4)
Từ (3) và (4) suy ra
mp(SAB) //mp(MNPQ) (5)

Theo giả thuyết P Є SD, Q Є AD (6)
Từ (5) và(6) suy ra PQ // SA (ĐPCM)