Gọi \(O = AC \cap BD\)
Trong \((SAC)\) gọi \(K = SO \cap AM\)
Trong \((ABCD)\) gọi \(L = BD \cap AN\)
Khi đó \(KL=(SBD)\cap(AMN)\)
Suy ra \(SD\cap (AMN)=SD\cap KL=P\)
Ta có \(P \in KL,KL \subset (AMN) \)
\(\Rightarrow P \in (AMN)\) và \(P \in SD\)
\(\Rightarrow P = (AMN) \cap SD\).
