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) = IE
Gọi H=IE BM (cùng trong (BID))
H thuộc BM
H thuộc IE con (SAC)
=> H = BM (SAC)