Vì E,F lần lượt nằm ở miền trong của ABD, BCD nên EF ⊂ (ABCD)

Trong (ABCD)  ta cho EF cắt CD, BC lần lượt tại H,G

Ta có H ∈ CD

⇒ H ∈ (MEF) ∩ (SCD)

Trong (SBC), ta có MG ⊂ (SCD), SC ⊂ (SCD) nên MG cắt SC tại K

⇒ K ∈ (SCD) ∩ (MEF) do K ∈ MG ⊂ (MEF)

Vậy (SCD) ∩ (MEF) = KH