Trong mặt phẳng (ABC) có EF // BC (tính chất đường trung bình của tam giác ABC) suy ra EF // (BDC).

Trong mặt phẳng (ABD) có HE // BD ( tính chất đường trung bình của tam giác ABD) suy ra HE // (BDC).

Ta có EF và HE cắt nhau tại E và cùng nằm trong mặt phẳng (EFH) nên (EFH) // (BCD).