Cho tứ diện ABCD. Trên cạnh AB lấy điểm I và lấy các điểm J, K lần lượt là

a) Gọi N = DK ∩ AC; M = DJ ∩ BC.

Ta có (DJK) ∩ (ABC) = MN ⇒ MN ⊂ (ABC).

Vì L = (ABC) ∩ JK nên dễ thấy L = JK ∩ MN.

b) Ta có I là một điểm chung của (ABC) và (IJK).

Mặt khác vì L = MN ∩ JK mà MN ⊂ (ABC) và JK ⊂ (IJK) nên L là điểm chung thứ hai của (ABC) và (IJK), suy ra (IJK) ∩ (ABC) = IL.

Gọi E = IL ∩ AC; F = EK ∩ CD. Lí luận tương tự ta có EF = (IJK) ∩ (ACD).

Nối FJ cắt BD tại P; P là một giao điểm (IJK) và (BCD).

Ta có PF = (IJK) ∩ (BCD) Và IP = (ABD) ∩ (IJK)