Trong mp (ABCD), kéo dài AB và CD cắt nhau tại E
\(\left\{{}\begin{matrix}E\in CD\in\left(MCD\right)\\E\in AB\in\left(SAB\right)\end{matrix}\right.\)
Trong mp (SAB), nối ME cắt SB tại F
\(\left\{{}\begin{matrix}F\in SB\\F\in ME\in\left(MCD\right)\end{matrix}\right.\)
\(\Rightarrow F=SB\cap\left(MCD\right)\)