Gọi M, O, N lần lượt là giao điểm của EF, AC, GH với BD.

Vì ME//AO  nên MEAO=DMDO  (hệ quả định lý Ta-lét) (1).

Vì MF//CO  nên MFCO=DMDO  (hệ quả định lý Ta-lét) (2).

Từ (1) và (2) ta có: MFOC=MEAO⇔MFME=OCOA  (*)

Tương tự có: NHNG=OCOA  (**)

Từ (*) và (**) có NHNG=MFME  mà EF//GH  suy ra GE, BD, HF đồng quy. Vậy EG, DB, HF đồng quy.