Cho tứ diện ABCD và điểm M thuộc miền trong của tam giác ACD. Gọi I và J lần lượt là hai điểm trên cạnh BC và BD sao cho IJ không song song với CD. Gọi H, K lần lượt là giao điểm của IJ với CD của MH và AC. Giao tuyến của hai mặt phẳng ACD và IJM là đường thẳng