Cho tứ diện ABCD. Gọi E, F là các điểm lần lượt thuộc các cạnh AB, AC sao cho

a) Trong mặt phẳng (ABC), gọi G là giao điểm của EF và BC.

Trong mặt phẳng (BCD), gọi H là giao điểm của OG và BD.

Khi đó H là một điểm chung của hai mặt phẳng (OEF) và (ABD).

Lại có E ∈ (OEF) và E ∈ AB ⊂ (ABD) nên E ∈ (OEF) ∩ (ABD).

Vậy EH là giao tuyến của hai mặt phẳng (OEF) và (ABD).