Gọi giao điểm của AB và EF là S. Ta sẽ chứng minh S, C, D thằng hàng.

Giả sử SC cắt BF tại D’. Vì AE // BF nên theo định lí Ta-let, có:

D’ là trung điểm của BF

D trùng với D’ hay S, C, D thẳng hàng.

Vậy ba đường thẳng AB, EF, CD đồng quy tại S.