ABCD là hình bình hành nên AB∥CD  và AD∥BC , suy ra AE∥FC,AG∥HC .

Áp dụng hệ quả của định lí Ta-lét cho AE∥FC  và AG∥HC , ta được:

                      EIIF=AIICGIIH=AIIC⇒EIIF=GIIH  .

Điều này chứng tỏ đường thẳng EG cắt hai cạnh IF,IH  của tam giác IHF và định ra trên hai cạnh này những đoạn thẳng tương ứng tỉ lệ, nên EG∥HF  (theo định lí Ta-lét đảo).