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

           OEOB=OAOC  (1);  OBOD=OGOA(2).

Nhân theo vế các đẳng thức (1) và (2), ta được:

                      OEOB.OBOD=OAOC.OGOA⇒OEOD=OGOC  .

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