Cho tứ diện SABC. Trên SA, SB và SC lần lượt lấy các điểm D, E và F

Ta có:

I = DE ∩ AB

DE ⊂ (DEF) ⇒ I ∈ (DEF)

AB ⊂ (ABC) ⇒ I ∈ (ABC)

Lí luận tương tự thì J, K cũng lần lượt thuộc về hai mặt phẳng trên nên I, J, K thuộc về giao tuyến của (ABC) và (DEF) nên I, J, K thẳng hàng.