Cho tứ diện ABCD và các điểm M, N, P thuộc các cạnh BC, BD, AC sao...

Trong mặt phẳng vẽ MN cắt CD tại K.
Trong mặt phẳng vẽ PK cắt AD tại Q.
Theo định lý Mennelaus cho tam giác , cát tuyến MNK ta có: .
Theo định lý Mennelaus cho tam giác , cát tuyến PQK ta có:
Đặt , ta có:

và .
và .
Suy ra