Gọi I = DM SC (cùng trong (SDC))
Chọn (BID) chứa BM
I
(BID) (SAC)Gọi E= BD
AC (cùng trong (ABCD))E thuộc BD con (BID)
E thuộc AC con (SAC)
=> E thuộc (BID)
(SAC)(BID)
(SAC) = IEGọi H=IE
BM (cùng trong (BID))H thuộc BM
H thuộc IE con (SAC)
=> H = BM
(SAC)