Xét tam giác ABC và tam giác DBE có :
   AB = DB ( gt )
  góc ABC = góc DBE ( đối đỉnh )
  BC = BE ( gt )
Do đó : tam giác ABC = tam giác DBE ( c.g.c )
-> góc BAC = góc BDE ( hai góc tương ứng )
mà chúng ở vị trí so le trong
-> AC // DE
-> đpcm