Trong mp (ABC), nối MP kéo dài cắt BC tại E
\(\Rightarrow\left\{{}\begin{matrix}E\in\left(BCD\right)\\E\in\left(MNP\right)\end{matrix}\right.\)
Trong mp (ACD), nối NP kéo dài cắt CD tại F
\(\Rightarrow\left\{{}\begin{matrix}F\in\left(BCD\right)\\F\in\left(MNP\right)\end{matrix}\right.\)
\(\Rightarrow EF=\left(MNP\right)\cap\left(BCD\right)\)